Erzeugtes Untermonoid zu Menge/Definition

Erzeugtes Untermonoid

Sei ein Monoid und eine Teilmenge. Dann nennt man

das von erzeugte Untermonoid. Man nennt ein Erzeugendensystem von .