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.