Tolong jelaskan mengenai Definisi dari Fungsi identitas

Secara matematis, bila  adalah sebuah himpunan, fungsi  dalam  didefinisikan sebagai fungsi dengan daerah asal dan daerah hasil  yang memenuhi

Dengan kata lain, hasil fungsi  dalam  selalu sama dengan  dalam  yang dimasukkan. Fungsi identitas dalam  adalah fungsi bijektif.

Fungsi identitas  dalam  sering ditulis sebagai .

Misalkan  menyatakan sebarang fungsi. Jika  , maka dipunyai  (dengan "∘" melambangkan komposisi fungsi). Secara khusus,  menyatakan anggota identitas monoid dari semua fungsi yang dipetakan dari  ke  (terhadap komposisi fungsi).