Eindeutigkeit des Neutralen Elements
1. Satz
Sei \(M\) ein Monoid und \(e_l\) bzy \(e_r\) ein Linksneutrales Element bzw. Rechtsneutrales Element. Dann folgt:
\begin{align*} e_l = e_r \end{align*}2. Beweis
\begin{align*}
e_l = e_l \circ e_r = e_r
\end{align*}