\begin{definition}[Definition: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$
\end{definition}