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 \rightarrow y = y$$