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

---

Тожде́ственное отображе́ние  — функция, переводящая аргумент в себя. Обычно обозначается символом ${\displaystyle \mathrm {id} }$ или ${\displaystyle \mathrm {id} _{X}}$. При этом ${\displaystyle \mathrm {id} _{X}(x)=x}$ для любого ${\displaystyle x\in X}$.

В логике используются термины тождественность и идентичность. Логическим результатом функции идентичности является тавтология.

---