Noun
subsemigroup (plural subsemigroups) (mathematics) Any subset of a semigroup that is closed under the semigroup operation.