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.
New to topics? Read the docs here!
New to topics? Read the docs here!