Showing that linear subset is not a subspace of the Vector space $V$ I am given the following
$V = \mathbb R^4$
$W = \{(w,x,y,z)\in \mathbb R^4|w+2x-4y+2 = 0\}$
I have to prove or disprove that $W$ is a subspace of $V$.
Now, my linear algebra is fairly weak as I haven't taken it in almost 4 years but for a subspace to exist I believe that:
1) The $0$ vector must exist under $W$
2) Scalar addition must be closed under $W$
3) Scalar multiplication must be closed under $W$
I don't think the first condition is true because if I were to take the vector, there is no way I can get the zero vector back. Is that correct or am I doing something very wrong?

Let me give you a more general result: Consider a linear system of equations 
$$\begin{cases}
a_{11}x_1 + a_{12}x_2 + \ldots + a_{1n}x_n &= b_1\\
a_{21}x_1 + a_{22}x_2 + \ldots + a_{2n}x_n &= b_2\\
&\vdots&\\
a_{m1}x_1 + a_{m2}x_2 + \ldots + a_{mn}x_n &= b_m
\end{cases},$$
with $m \leq n$.
Suppose one of the $b_i \neq 0$, then clearly this system of equations does not form a subspace, since in the $i$th equation, we would find that (filling in the zero-vector $(0, 0, \ldots, 0)$ that $0 = b_i \neq 0$, which is not possible.
However, if all of the $b_i$ are zero, then this forms a subspace: clearly the zerovector is a solution to all equations and hence to the system. 
If both $(y_1, \ldots, y_n), (z_1, \ldots, z_n)$ are solutions, then so is $(y_1 + z_1, \ldots y_n + z_n)$ (in order to see this: we fill in this vector and use distributivity of the product over the summation). Analogously, $(\lambda y_1, \ldots, \lambda y_n)$ for some $\lambda \in \mathbb{R}$ will form a solution (note that $(\lambda y_1, \ldots, \lambda y_n) = \lambda (y_1, \ldots, y_n)$). 
