User:KBlott/Definition/Commutative Class Monoid

Definition
Let $(C,*)$ be a class monoid. Then, is call a commutative class monoid (or CC monoid) iff
 * $\forall x,y \in C: x*y = y*x$

iff
 * $\forall x,y \in C: =(*(x,y),*(y,x))$