LACS.PAR.7.2: Justify whether a subset of a vector space is a subspace.