Lineární závislost a nezávislost vektorů, báze, věta o výběru lineárně nezávislých vektorů se stejným lineárním obalem, algoritmus na tuto větu.