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
Prove that the set of ordered tried where is a subspace of .
Let and be two elements of .
Therefore let then