Linear Algebra - Zero subspace vs empty subspace I have a somewhat trivial question regarding clarification of something my textbook said. We are given the following definition of a subspace in a vector space. I believe my textbook is only talking about vector spaces in terms of scalar multiplication = all real numbers.
"A nonempty subset W of a vector space V is a subspace of V when W is a vector space under the operations of addition and scalar multiplication defined in V. "
Therefore, an empty subset W of a vector space V will not be a subspace of V under the addition and scalar multiplication defined in V. 
My questions:
1) What is the difference between a 'subset' and a 'subspace'?
2) Is an empty subset just considered:
empty_subset = {}
? 
If so, empty_subset will NOT be equivalent to the zero vector subset:
zero_vector_subset = {0}
?
 A: *

*A subspace, in this context, is a vector subspace. A subspace is a subset, bot most subsets are nt subspaces.

*There is only one empty set, denoted by $\emptyset$. In can also denote it by $\{\}$, but that's unusual


And, yes, $\{0\}$ (which is a vector subspace) is not the same thing as $\emptyset$.
A: 1) Subset has just set-theoretical meaning. While in this context, a subspace is again a vector space carrying an algebraic structure.
2) Yes. $\emptyset$ is different than $\{ 0 \}$ because it has an element.
A: A subspace $V\subset W$ of a vector space $W$ is a subset that is a vector space itself with the operation being those of $W$ restricted to $V$. Recall that a vector space $W$ is an Abelian group together with scalar multiplication. A subspace $V$ now is an Abelian subgroup $V\subset W$ of this group together with the restriction of the scalar multiplication on $W$ to $V$. 
Every Abelian group needs to have a zero-element. Thus, the empty set is not an Abelian group and therefore can't be given the structure of a vector space.
(Ok, I see that other people were much faster typing their answers. Anyway I hope this still helps. I find it important to emphasize on the fact that the subspace structure is induced by the larger vector space and to also give an explanation why the empty set can never be a vector space.)
