- if and are subspaces for a vector space then is a subspace (of ).
- Definition: denotes the set of all the vectors possible to construct by adding a vector from with a vector from where and may be either set of vectors or subspace of vectors.
- If and are subspaces for a vector space then is the smallest subspace which contain both and .