linksinverses Element

Sei \(M\) eine Menge mit einer Verknüpfung \(\circ\) und \(e\) ein neutrales Element von \(M\). Dann ist \(x^{-1} \in M\) ein linksinverses Element von \(x \in M\), falls gilt:

\begin{align*} x^{-1} \cdot x^{-1} = e \end{align*}