Definition:Abelian Monoid