Funkce identity

funkce identity f je funkce který nemá nějaký účinek: to vždy vrátí stejnou hodnotu, která byla používána jako jeho argument.

Formálně, jestliže M je soubor, my určíme identitní funkci id_M na M být ta funkce s doménou a codomain M který uspokojí

id_M(x) = x    pro všechny elementy x v M.

Jestliže f : M a rarr; N je nějaká funkce, pak my máme f o id_M = f = id_N o f. Zvláště, id_M je element identity monoid všech funkcí od M k M.

Když si vybere M se rovnat k pozitivní celá čísla, jeden dostane funkci identity Id (n), který je multiplikativní funkce zvážila to v teorii čísel.