Consider the vector space axiom $$ r(sv)=(rs)v$$
It is compatibility of scalar multiplication with field multiplication. Here $v$ is a vector in a finite dimensional vector space over a field $F$ and $r,s$ are elements in $F$. Sometimes the definition of a vector space is stated without this axiom. My question is: is it a consequence of the other axioms? Or is a definition without it a mistake?