Доказать или опровергнуть. Математическая логика и теория алгоритмов. Отображение

Answer 1

если это функции в классическом понимании, где одному значению аргумента сответствует строго одно значение функции, то и f и f^ (-1) существуют только тогда, когда функция устанавливает взаимноднозначное сответствие аргумента и значения. Тогда f (f^ (-1) (C) = C, потому что сответствие взаимноднозначное, а значит если C сответствует некоторое значение D, то при обратном преобразовании D сответствует только значение C и никакое другое.