To show W is a subspace of V, it needs to be show 0 is in W, and W is closed under addition and scalar multiplication. In the axioms for a vector space, it does not say it needs to be closed under scalar multiplication/addition. Is it a consequence of the axioms?