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