![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/e/eb/Function-x.svg/languk-640px-Function-x.svg.png&w=640&q=50)
Тотожне відображення
З Вікіпедії, безкоштовно encyclopedia
Тото́жне відобра́ження[1] (тотожна функція) — відображення, яке переводить кожний елемент множини (області) визначення в себе.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/e/eb/Function-x.svg/640px-Function-x.svg.png)
Область визначення та область значень тотожного відображення збігаються. Тобто, f : X → X, та f(x) = x для будь-якого x з X.
Тотожне відображення множини X в себе позначається також idX. Зрозуміло, що для будь-якої функції f : X → Y, композиція функцій f o idX = f = idY o f.
Тобто, з алгебраїчної точки зору, idM є нейтральний елемент моноїда всіх функцій з M в M.