Kategorie:Theorie der Modulsubstitution/Definitionen