\begin{definition}[Definition:Inverse (Abstract Algebra)/Left Inverse]
Let $\struct {S, \circ}$ be a monoid whose identity is $e_S$.
An element $x_L \in S$ is called a '''left inverse''' of $x$ {{iff}}:
:$x_L \circ x = e_S$
\end{definition}