Criterion for Subspace

Span of Vectors is a Subspace of the Vector Space

Sum of Subspaces is a Subspace

Sum of Subspaces is Smallest Subspace Containing their Union