Subspace

Subespace of VectorSpace is nonempty subset. Must satisfy requirements
for vectory space: Linear combinations stay in the subspace

1. If any vectors, x and y, in subspace are summed, x + y is in the subspace
   
2. Product of any vector x in the subspace and scalar c, cx, is in the subspace