Definition:Group of Reduced Group Words

Definition
Let $X$ be a set.

The group of reduced formal words on $X$ is the group $(F_X, \cdot)$ where:
 * $F_X$ is the set of reduced formal words on $X$.
 * $\cdot$ denotes composition of reduced formal words

Also see

 * Group of Reduced Formal Words is Group
 * Definition:Free Group on Set