Es sei K {\displaystyle {}K} ein Körper und V {\displaystyle {}V} ein K {\displaystyle {}K} -Vektorraum. Dann heißt ein linear unabhängiges Erzeugendensystem v i ∈ V {\displaystyle {}v_{i}\in V} , i ∈ I {\displaystyle {}i\in I} , von V {\displaystyle {}V} eine Basis von V {\displaystyle {}V} .
