Theorem TSS Testing Subsets for Subspaces

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

  1. $W$ is nonempty, $W\neq\emptyset$.
  2. If $\vect{x}\in W$ and $\vect{y}\in W$, then $\vect{x}+\vect{y}\in W$.
  3. If $\alpha\in\complex{\null}$ and $\vect{x}\in W$, then $\alpha\vect{x}\in W$.

Proof
(in context)