Un subespacio vectorial formula_2 de formula_1 es un subconjunto de formula_1 tal que es espacio vectorial sobre F con las mismas operaciones definidas en formula_1, es decir que cumple las 8 propiedades de espacio vectorial.