What is written leads to , perhaps we should replace by in the definition of . If so, since a subspace of a vector space must contain and that we can conclude that doesn't contain and isn't a vector space.
By the way, contains So the only thing we have to prove now is that for every (if is a -vector space),
Let and be two elements of since
Therefore , and is a subspace of