# CommutativeStar¶

The class of all commutative semigroups in multiplicative notation. In other words domains D with "*": (D, D) -> D which is commutative. Typically applied to rings.