Kategorie:Theorie der erzeugenden Funktionen/Definitionen