Abstract Vector Space Definition