Die Identität auf M {\displaystyle {}M} ist die Abbildung von M {\displaystyle {}M} nach M {\displaystyle {}M} , die jedes Element x ∈ M {\displaystyle {}x\in M} auf sich selbst abbildet.