u+v=v+u, (u+v)+w=u+(v+w), u+0=u, u+(−u)=0, a(u+v)=a×u+a×v, (a+b)×v=av+bv, a(bv)=(ab)×v, 1×v=v. These can be used for Complex, Real, or Rational vector spaces.