Commutative monoids