Definition:Right Operation

Definition
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$

Also see
It is clear that the right operation is the same thing as the second projection on $S \times S$:
 * $\forall \tuple {x, y} \in S \times S: \pr_2 \tuple {x, y} = y$

Also see

 * Definition:Left Operation