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