Element under Right Operation is Left Identity

Theorem
Let $\left({S, \rightarrow}\right)$ be an algebraic structure in which the operation $\rightarrow$ is the right operation.

Then no matter what $S$ is, $\left({S, \rightarrow}\right)$ is a semigroup all of whose elements are left identities.

Thus it can be seen that any left identity in a semigroup is not necessarily unique.

Proof
From Right Operation is Associative, $\rightarrow$ is associative.

By the nature of the right operation, $\left({S, \rightarrow}\right)$ is closed:
 * $\forall x, y \in S: x \rightarrow y = y \in S$

whatever $S$ may be.

So $\left({S, \rightarrow}\right)$ is a semigroup.

From the definition of right operation:
 * $\forall x, y \in S: x \rightarrow y = y$

from which it is apparent that all elements of $S$ are left identities.

From More than one Left Identity then no Right Identity, it also follows that there is no right identity.

Also see

 * Element under Left Operation is Right Identity
 * Right Operation All Elements Right Zeroes