Vector Space Definition