Definition:Commutative Monoid

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