La función única sobre un conjunto X que asigna cada elemento a sí mismo se denomina función de identidad para X y, típicamente, se indica con idX.