Abelian monoid

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