Если функция

существует, то проблем быть не должно. Причем интересует именно односторонняя обратная функция, то есть достаточно сюръективности

. Но сюръективность с образом всегда есть

, таким образом, всегда можно восстановить значение функции

на

, где

- множество, на котором определена функция

. А в остальных точках значение

может быть произвольным.