Testing if a subset of a vector space is a subspace, the 2 axioms involved and why