Definition:Submonoid

A submonoid of a monoid $$\left({s, \circ}\right)$$ is a monoid $$\left({T, \circ}\right)$$ such that $$T \subseteq S$$.

We write $$\left({T, \circ}\right) \subseteq \left({s, \circ}\right)$$.