\begin{definition}[Definition:Inverse Semigroup]
An '''inverse semigroup''' is a semigroup $\struct {S, \circ}$ such that:
:$\forall a \in S: \exists! b \in S: a = a \circ b \circ a, b = b \circ a \circ b$
\end{definition}