Untermonoid/Definition

Untermonoid

Eine Teilmenge eines Monoids heißt Untermonoid von , wenn ist und wenn sich die Multiplikation von auf einschränken lässt.