idempotente Abbildung

Eine Abbildung \(f: M \rightarrow M\) auf einer Menge \(M\) ist idempotent, falls gilt:

\begin{align*} f \circ f = f \end{align*}