\begin{definition}[Definition:Right Operation]
Let $S$ be a set.
For any $x, y \in S$, the '''right operation''' on $S$ is the binary operation defined as:
:$\forall x, y \in S: x \to y = y$
\end{definition}