Kategorie:Theorie der Untervektorräume/Definitionen