Kategorie:Theorie der kommutativen Monoide/Definitionen