Identitätsabbildung

Sei \(A\) eine Menge. Dann ist die Identitätsabbildung \(id_{A}\) definiert, sodass für jede Abbildung \(f: A \rightarrow B\) auf die Menge \(B\) gilt:

\begin{align*} f \circ \mathrm{id}_A = f \end{align*}