Eine Abbildung ist ja immer dadurch charakterisiert, dass zu jedem
Element der Definitionsmenge genau ein Element der Zielmenge zugeordnet wird.
Im Fall der Identität auf einer Menge X sind Definitionsmenge und Zielmenge
beide die Menge X und jedes Element wird zu sich selbst zugeordnet, also
x ---> x für alle x ∈ X.