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.

A principal ideal of a commutative ring with unity is an ideal N with the property that there exists a ∈ N such that N is the smallest ideal that contains a.