Kategorie:Theorie der Basen von Vektorräumen/Definitionen