bir küme olsun. `in özdeşlik fonksiyonu, `ten `e giden ve `in her elemanını gene elemanına götüren fonksiyondur. Bu fonksiyon genellikle Id olarak gösterilir.
Demek ki, kümesinin Id özdeşlik fonksiyonu,
Id
formülüyle tanımlanmıştır. Id, elbette bir eşlemedir. Ayrıca Id, `ten `e giden fonksiyonlar kümesi Fonk kümesi üzerinde tanımlanmış olan bileşke ikili işleminin sağdan ve soldan etkisiz elemanıdır.