Jordan Webster describes the general approach to vector spaces and proving whether a set is a subspace or not.