A subspace is a non-empty subset of a vector space that is closed under vector addition and scalar multiplication. A non-empty subset M of a vector space V is a subspace if and only if for any vectors m1 and m2 in M and scalars α and β, the linear combination αm1 + βm2 is also in M. Conversely, if M is a subspace of V, then M itself is a vector space over the same field and satisfies the properties of closure under addition and scalar multiplication.