# Vector Subspace

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 two elements of .

Therefore let then

Because .