Определение

Тождественное отображение - представляет собой функцию, которая всегда возвращает значение, которое использовалось в качестве ее аргумента, без изменений.

Т.е. это функция, переводящая аргумент в себя. Обычно обозначается как $\text{id}_{X}(x)=x$.

Стырено с вики