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