\begin{definition}[Definition:Composition of Reduced Group Words]
Let $X$ be a set.
Let $v$ and $w$ be reduced group words on $X$.
The '''composition''' of $v$ and $w$ is the reduced form of their concatenation:
:$v \cdot w = \operatorname{red}(vw)$
\end{definition}