Definition:Commutative Monoid

A monoid whose operation is commutative is called a commutative monoid.