Kategorie:Theorie der Frobeniuspotenzen/Definitionen