Un subespacio vectorial es un subconjunto de un espacio vectorial que cumple las propiedades de un espacio vectorial. La intersección de dos subespacios vectoriales S1 y S2 forma un nuevo subespacio vectorial. Para que un subconjunto no vacío sea considerado un subespacio vectorial, debe cumplir las reglas de cerradura: la suma de cualquier par de vectores en el subconjunto y el producto de cualquier escalar por un vector en el subconjunto también deben pertenecer al subconjunto.