Commutative monoid
= Commutative monoid
{wiki}
A commutative monoid is a <monoid> whose operation is commutative. The natural numbers with addition form a commutative monoid that is not an <abelian group>, because positive elements have no additive inverses.