Kanta.
Olkoon
S
F
aliavaruus
. Jos on olemassa vektorijoukko {
x
,...,
x
} s.e.
on lineaarisesti riippumaton, niin {
x
,
x
,...,
x
} on S:n
kanta.