... Existence of additive inverses in V. v+w=w+v.Commutativity of vector addition in V. a*v belongs to V.V is closed under scalar ...