\begin{definition}[Definition:Identity (Abstract Algebra)/Left Identity]
Let $\struct {S, \circ}$ 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$
\end{definition}