Category:Definitions/Examples of Semigroups