Тождественное отображение

У этого термина существуют и другие значения, см. Отображение (значения).

Тожде́ственное отображе́ние в математике — функция, переводящая аргумент в себя. Обычно часто обозначается в виде

Для произвольной функции  её композиция с тождественным отображением не отличается от неё самой: 

  • ,
  • .

В частности, является нейтральным элементом моноида, образованного отображениями из в , а также нейтральным элементом симметрической группы перестановок множества .

Композиция биекции  со своей обратной функцией  даёт тождественные отображения:

  • ,
  • .