Existenz eines Inversen Elements

Sei \(M\) eine Menge und \(\circ\) eine Verknüpfung mit dem Neutralen Element \(e\) Das Axiom ist erfüllt, wenn gilt:

\begin{align*} \forall a \in M \exists a^{-1} \in M : ( a \circ a^{-1} = a^{-1} \circ a = e) \end{align*}