Definition of a vector space