[!Definition 4.4.1]

A subset U of is a subspace of if the following properties are all satisfied:

  1. U contains the zero vector of
  2. If , then U is closed under vector addition
  3. If and , then U is closed under scalar multiplication