\begin{definition}[Definition:Free Group/Definition 2]
A group $G$ is a '''free group''' {{iff}} it has a presentation of the form $\gen S$, where $S$ is a set.
That is, it has a presentation without relators.
In this context, '''free''' means '''free of non-trivial relations'''.
\end{definition}