identitetsoperasjonen
Identitetsoperasjonen, ofte kalt identitetsfunksjonen, er en funksjon som etterlater hvert element i et sett X uendret. Den betegnes vanligvis id_X: X → X og defineres ved id_X(x) = x for alle x i X.
Egenskaper: Identitetsfunksjonen fungerer som det nøytrale elementet i mengden av alle funksjoner fra X til X
I lineær algebra kalles identitetstransformasjonen en kartlegging T: V → V med T(v) = v for alle v
Eksempler og notater: For X = {a, b, c} er id_X(a) = a, id_X(b) = b og id_X(c) = c.