submonoid

subset of a monoid containing the identity and closed under the monoid operation