Wiktionary
submonoid
n. (context mathematics English) A subset of a monoid that is itself a monoid