Die Dimension ist die Anzahl der Vektoren einer Basis.
Alle Basen eines endlichdimensionalen Vektorraums haben gleich viele Elemente.