Es sei ein Körper K, ein K-Vektorraum V, n∈IN_(0) und ein n-Tupel s=(s_(1),...,s_(n)) in V gegeben.
Ferner sei U := <s_(1),...,s_(n)>.
Gilt dann falls n >= 1, <s_(1),....,s_(i-1),s_(i+1)...,s_(n)> ⊆ <s_(1),..,s_(n)> für alle i∈[1,n]
wobei die spitzen klammern < > ein Erzeugendensystem beschreiben.