\begin{definition}[Definition:Group Relation on Set]
Let $X$ be a set.
A '''group relation''' on $X$ is a pair $(u, v)$ where $u$ and $v$ are group words on $X$.
A '''group relation''' $(u, v)$ is also denoted $u=v$.
\end{definition}