Si V es un espacio vectorial sobre F y si formula_9, entonces W es un subespacio de V si bajo las operaciones de V, W mismo forma un espacio vectorial sobre F.