subset of a monoid containing the identity and closed under the monoid operation
No description defined