What is the definition of a subspace U of a vector space V ?