subsemigroup noun1 •Any subset of a semigroup that is closed under the semigroup operation. formssubsemigroups