\begin{definition}[Definition:Basis of Vector Space/Definition 1]
Let $R$ be a division ring.
Let $\struct {G, +_G, \circ}_R$ be an vector space over $R$.
A '''basis of $G$''' is a linearly independent subset of $G$ which is a generator for $G$.
\end{definition}