Kategorie:Theorie der Monoide/Definitionen