Definition:Proper Vector Subspace