Category:Right Operation

From ProofWiki
Jump to navigation Jump to search

This category contains results about Right Operation.
Definitions specific to this category can be found in Definitions/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$

Also see