Category:Commutative unital ring-ideal property implications