Kategorie:Theorie der Graßmann-Varietät/Definitionen