Category:Definitions/Semigroups