#abstract vector space #set theory #field axioms #algebraic structure #vector definition #operations