Template:Commring-ideal property

This article defines a property of an ideal in a commutative unital ring