subsemigroup

Noun

 * 1)  Any subset of a semigroup that is closed under the semigroup operation.