neutral element

Sei \(M\) eine Menge, \(\cdot\) eine Verknüpfung auf \(M\).
Dann ist \(e \in M\) ein neutrales Element, wenn es sowohl ein linksneutrales als auch rechtsneutrales Element ist, d.h.

\begin{equation} \forall x \in M (x \circ e = e \circ x = x) \end{equation}