\begin{definition}[Definition:Free Group on Set/Definition 2]
Let $X$ be a set.
The '''free group on $X$''' is the pair $\struct {F, \iota}$ such that:
:$F$ is the group of reduced group words on $X$
:$\iota : X \to F$ is the canonical injection.
\end{definition}