submonoid (monoid + sub-): A subset of a monoid that is itself a monoid