die eindeutig bestimmte (und von der speziellen Basiswahl unabhängige) Anzahl n der Elemente einer Basis (v₁,…, v_n) des Vektorraumes V (Basis eines Vektorraums), falls der Vektorraum eine endliche Basis besitzt, ∞ sonst:

\begin{eqnarray}\text{dim }V=\dim U+\mathrm{codim}\,\,U,\end{eqnarray}

wobei codim die Kodimension bezeichnet.