Basis of a vector space