Eine Familie v i {\displaystyle {}v_{i}} , i ∈ I {\displaystyle {}i\in I} , von Vektoren in V {\displaystyle {}V} heißt Basis, wenn diese Vektoren linear unabhängig sind und ein Erzeugendensystem bilden.