Abelian monoid

An Abelian monoid or commutative monoid is a monoid $(A,\ast ,1)$ where $\ast$ is commutative.