Definition:Abelian Semigroup