The idea this definition captures is that a subspace of V is a nonempty subset which is itself a vector space under the same addition and scalar multiplication as V.