Linear Algebra Done Right
《Linear Algebra Done Right》 · 第 12 页 · Section 1B「Definition of Vector Space」，Definition 1.19
A scalar multiplication on a set $V$ is a function that assigns an element $\lambda v\in V$ to each $\lambda\in F$ and each $v\in V$.