Category:Commutative unital ring metaproperty satisfactions