Category:Definitions/Subsemigroups