Definition:Commutative Monoid
From ProofWiki
Definition
A monoid whose operation is commutative is called a commutative monoid.
A monoid whose operation is commutative is called a commutative monoid.