Diagonalabbildung

Sei \(M\) eine Menge, dann ist die Diagonalabbildung \(\Delta\) definiert durch

\begin{align*} \Delta: M \rightarrow M \times M \\ m \mapsto (m,m) \end{align*}