Sea formula_32 un espacio vectorial sobre formula_125, y formula_181 no vacío, formula_182 es un subespacio vectorial de formula_32 si: