Definition:Identity (Abstract Algebra)/Left Identity

Definition
Let $\left({S, \circ}\right)$ be an algebraic structure. An element $e_L \in S$ is called a left identity iff:
 * $\forall x \in S: e_L \circ x = x$

Also see

 * Right Identity
 * Two-Sided Identity