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$