\begin{definition}[Definition:Generator of Module/Definition 3]
Let $R$ be a ring.
Let $M$ be an $R$-module.
Let $S \subseteq M$ be a subset.
$S$ is a '''generator of $M$''' {{iff}} $M$ is the submodule generated by $S$.
\end{definition}