Kategorie:Theorie der Modulfunktionen/Definitionen