A subspace is just a collection of vectors that satisfies three special conditions. Important theorem: All spans are subspaces! This should make sense if you consider how spans are defined; they meet all three requirements of subspaces!