Correct the definition of the italicized term without reference to the text, if correction is needed, so that it is in a form acceptable for publication.  

An ideal N of a ring R is an additive subgroup of (R, +) such that for all r ∈ R and all n ∈ N, we have rn ∈ N and nr ∈ N.