Commutative unital ring property