Commutative Monoid

A commutative monoid is a monoid that is also commutative.

Remarks

This is also called, less commonly, an abelian monoid.