U is a subspace of a

vector space V

iff:

U is a subset of V
U is a vector space with respect to the same addition and scalar multiplication operations as V.
Any vector space V has the two trivial subspaces V and {0}. Any other subspace of V is called non-trivial.