Eine Teilmenge T ⊆ M {\displaystyle {}T\subseteq M} eines Monoids ( M , ⋅ , 1 ) {\displaystyle {}(M,\cdot ,1)} heißt Untermonoid von M {\displaystyle {}M} , wenn 1 ∈ T {\displaystyle {}1\in T} ist und wenn sich die Multiplikation von M {\displaystyle {}M} auf T {\displaystyle {}T} einschränken lässt.
