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 .
Let and be tow elements of .
Therefore let then