Das sind äquivalente Definitonen einer Basis:
Jedes Element von V lässt sich als Linearkombination von Vektoren aus B darstellen und diese Darstellung ist eindeutig.
B ist ein minimales Erzeugendensystem von V, jeder Vektor aus V lässt sich also als Linearkombination aus B darstellen (V ist lineare Hülle von B) und diese Eigenschaft gilt nicht mehr, wenn ein Element aus B entfernt wird.
B ist eine maximale linear unabhängige Teilmenge von V. Wird also ein weiteres Element aus V zu B hinzugefügt, ist die neue Menge nicht mehr linear unabhängig.
B ist ein linear unabhängiges Erzeugendensystem von V.