Bei einer Basis eines Unterraums handelt es sich um ein minimales Erzeugendensystem von , d.h. die Vektoren spannen den Unterraum auf und es darf keiner der Vektoren weggelassen werden (sonst spannen diese nicht mehr ganz auf). Siehe auch Maximal linear unabhängiges System