subsemigroup (semigroup + sub-): Any subset of a semigroup that is closed under the semigroup operation