Commutative monoid

Summary