Definition:Inverse in Inverse Semigroup

Definition

Let $(S, \circ)$ be an inverse semigroup.

Let $a\in S$.

The inverse of $a$ is the unique element $b\in S$ such that:

$a = a \circ b \circ a$ and $b = b \circ a \circ b$