Die Identitaet auf einer Menge ist eine Abbildung, die jedes Element dieser Menge auf sich selbst abbildet.
