\begin{definition}[Definition:Basis of Module/Definition 1]
Let $R$ be a ring with unity.
Let $\struct {G, +_G, \circ}_R$ be a unitary $R$-module.
A '''basis of $G$''' is a linearly independent subset of $G$ which is a generator for $G$.
\end{definition}