Sei V ein endlich erzeugter Vektor Raum. Dann ist die dim(V) (Die Dimension von V) die Grösse einer beliebigen Basis von V.