Definition:Commutative Monoid

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