Category:Commutative unital ring-ideal metaproperty satisfactions