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 .