En cualquier conjunto puede definirse una función identidad, que teniendo como dominio y codominio al propio conjunto, asocia cada elemento consigo mismo.