ideal — additive subgroup of a ring closed under multiplcation by arbitrary ring element