Siano $v_1,…,v_k$ vettori di uno spazio vettoriale $V$. L'insieme generato $\mathcal{L}(v_1, \dots, v_k)$ è un sottospazio vettoriale di $V$.
$$ \mathcal{L}(v_1, \dots, v_k) \leq V $$
todo