Category:Examples of Commutative Semigroups