CommutativeRig is a Rig that is commutative under multiplication.
CommutativeRing is a Ring that is commutative under multiplication.
EuclideanRing implements a Euclidean domain.
Rig consists of:
Ring consists of:
Rng (pronounced "Rung") consists of:
Semiring consists of: