CommutativeRig
ring
CommutativeRing
ring