The dimension of a vector space equals the largest number of its elements that can be linearly independent.
- Die Dimension eines Vektorraums ist gleich der maximalen Anzahl in ihm linear unabhängiger Elemente.
Every vector space has a basis.
- Jeder Vektorraum hat eine Basis.