# Definition:Group of Reduced Group Words

Let $S$ be a set.
The group of reduced group words on $S$ is the group $\left({F_S, \circ}\right)$ where:
$F_S$ is the set of reduced group words on $S$
$\circ$ denotes composition of reduced group words.