Тобто, f : X → X, та f(x) = x для будь-якого x з X. Тотожне відображення множини X в себе позначається також idX. Зрозуміло, що для будь-якої функції f : X → Y, композиція функцій f o idX = f = idY o f. Тобто, з алгебраїчної точки зору, idM є нейтральний елемент моноїда всіх функцій з M в M. Примітки Джерела https://studopedia.ru/18_65200_totozhna-funktsiya-vkladennya-prodovzhennya-ta-zvuzhennya.html Типи функцій Теорія множин