Kategorie:Theorie der additiven Untermonoide von N/Definitionen