\begin{definition}[Definition:Invertible Operation]
Let $\left({S, \circ}\right)$ be an algebraic structure.
The operation $\circ$ is '''invertible''' {{iff}}:
:$\forall a, b \in S: \exists r, s \in S: a \circ r = b = s \circ a$
\end{definition}