Kategorie:Theorie der Krulldimension/Definitionen