Dle definice je báze vektorového prostoru množina lineárně nezávislých vektorů (vektory jsou nezávislé, pokud existuje netriviální lineární kombinace těchto vektorů s hodnotou rovnou nulovému vektoru), jejichž lineární obal je roven celému danému prostoru.