# Definition:Inverse (Abstract Algebra)/Left Inverse

## Definition

Let $\left({S, \circ}\right)$ be a monoid whose identity is $e_S$.

An element $x_L \in S$ is called a left inverse of $x$ if and only if:

$x_L \circ x = e_S$