\begin{definition}[Definition:Generator of Group]
Let $\struct {G, \circ}$ be a group.
Let $S \subseteq G$.
Then '''$S$ is a generator of $G$''', denoted $G = \gen S$, {{iff}} $G$ is the subgroup generated by $S$.
\end{definition}