Sea formula_1 un espacio vectorial sobre formula_2 y formula_3 no vacío, formula_4 es un subespacio vectorial de formula_1 si: