Kanta. Olkoon  F aliavaruus. Jos on olemassa vektorijoukko {x ,...,x } s.e.

on lineaarisesti riippumaton, niin {x ,x ,...,x } on S:n kanta.