Suppose that $V$ is a vector space and $W$ is a subset of $V$, $W\subseteq V$. Endow $W$ with the same operations as $V$. Then $W$ is a subspace if and only if three conditions are met
- $W$ is nonempty, $W\neq\emptyset$.
- If $\vect{x}\in W$ and $\vect{y}\in W$, then $\vect{x}+\vect{y}\in W$.
- If $\alpha\in\complex{\null}$ and $\vect{x}\in W$, then $\alpha\vect{x}\in W$.