vector space conditions