A subspace is a subset of a vector space that is itself a vector space under the same operations of addition and scalar multiplication. It must contain the zero vector, be closed under vector addition, and be closed under scalar multiplication to qualify as a subspace.