Category:Definitions/Left Operation

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Left Operation.
Related results can be found in Category:Left Operation.


Let $S$ be a set.

For any $x, y \in S$, the left operation on $S$ is the binary operation defined as:

$\forall x, y \in S: x \gets y = x$

Pages in category "Definitions/Left Operation"

This category contains only the following page.