Definition:Submonoid

From ProofWiki
Jump to: navigation, search

Definition

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)$.