Kategorie:Dimensionstheorie für endlichdimensionale Vektorräume/Definitionen