Definition

Let

If is a vector space under the addition and scalar multiplication defined on

Then is a subspace of

Theorem

Let

Then is a subspace of

If and only if