Bei einer Basis eines Unterraums handelt es sich um ein

maximal linear unabhängiges System von Vektoren aus , d.h. die Vektoren sind linear unabhängig und es darf kein weiterer Vektor aus hinzugefügt werden

(sonst sind diese Vektoren nicht mehr linear unabhängig).