Sei K ein Körper, V ein K-Vektorraum, S ⊆ Ves sind äquivalent:

i) S ist eine max. K-lin. unabh. Teilmenge von Vii) S ist ein min. K-Erzeugendensystem von Viii) S ist eine K-Basis von V