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