Para un espacio vectorial
, si existe un subconjunto
tal que:
El elemento
está también en
.
.
y cualquier escalar.
Entonces
es un subespacio vectorial en
, es decir, cualquier subconjunto de un espacio vectorial que mantiene las mismas propiedades por sí mismo conforma un subespacio.