Abelian monoid