Vector subspace.

Let V be a vector space over a field F, then, a non-empty subset W of V is called a vector subspace of V, if W is a vector space in its own right with respect to the addition and scalar multiplication compositions on V, restricted only on points of W. In an arbitrary vector space V, the sets {0} and V are clearly subspaces of V and are known as trivial sub-spaces.