Vector Space And Subspace Definition