\begin{definition}[Definition:Scalar/Vector Space]
Let $\struct {G, +_G, \circ}_K$ be a vector space, where:
:$\struct {G, +_G}$ is an abelian group
:$\struct {K, +_K, \times_K}$ is the scalar field of $\struct {G, +_G, \circ}_K$.
The elements of the scalar field $\struct {K, +_K, \times_K}$ are called '''scalars'''.
\end{definition}