Wiktionary
subsemigroup
n. (context mathematics English) Any subset of a semigroup that is closed under the semigroup operation.