Submonoid

A submonoid $S$ of a Monoid $M$ is a subset $S\subseteq M$ that

• Contains the unit of the monoid
• Is closed under multiplication