Commutative semigroups
