I matematikk er en identitetsfunksjon en matematisk funksjon , fra et sett M til seg selv, som returnerer sitt eget argument. I matematisk notasjon:
Identitetsfunksjonen til reelle tall kan beskrives som følger:
Den virkelige funksjonen har som grafisk representasjon i kartesiske koordinater den rette linjen som krysser origo som stiger i en vinkel på 45° til høyre.
Identitetsfunksjonen på settet er den doble negasjonen , uttrykt ved .
Identitetsfunksjonen er trivielt idempotent , det vil si:
I tillegg, for enhver annen funksjon , er følgende sammensetningsregler oppfylt: