Тотожне відображення

Тото́жне відобра́ження (тотожна функція) — відображення, яке переводить кожний елемент множини (області) визначення в себе.

Область визначення та область значень тотожного відображення збігаються. Тобто, f : X → X, та f(x) = x для будь-якого x з X.

Тотожне відображення множини X в себе позначається також id_X. Зрозуміло, що для будь-якої функції f : X → Y, композиція функцій f o id_X = f = id_Y o f.

Тобто, з алгебраїчної точки зору, id_M є нейтральний елемент моноїда всіх функцій з M в M.

Джерела

• https://studopedia.ru/18_65200_totozhna-funktsiya-vkladennya-prodovzhennya-ta-zvuzhennya.html