Birim fonksiyon: Revizyonlar arasındaki fark

formülüyle tanımlanmıştır. Id<math>_X</math>, elbette bir [[eşleme]]dir. Ayrıca Id<math>_X</math>, <math>X</math>'ten <math>X</math>'e giden fonksiyonlar kümesi Fonk<math>(X,X)</math> kümesi üzerinde tanımlanmış olan [[bileşke]] [[ikili işlem]]inin sağdan ve soldan [[etkisiz eleman]]ıdır.