Let be a vector space over the field . Then a non-empty subset of is called a vector space of if under the operations of , itself, is a vector space over . In other words, is a subspace of whenever

__Example__**:** Prove that the set of ordered tried where is a subspace of .

__Solution__**:**

Let and be tow elements of .

Therefore let then

Because .