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.