Say I have a set of vectors with multiplication and addition both defined. To prove that it is a vector space I have to confirm the eight axioms. When I check the distributive property for scalar multiplication:
$ r(u+v) = ru + rv $
(where r is a scalar and u,v are vectors) is the addition here the defined addition or normal addition?