Untermonoid/Definition

Untermonoid

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