При этом множество X – область определения функции f,
а Y – множество значений функции f.
Определение 2:
Функция f: X Y называется обратимой функцией, если обратное соответствие
f-1 : Y X является функцией.
Это возможно в том, и только в том, случае, когда функция f принимает каждое свое значение только при одном значении x.
При этом функции f и f-1 - взаимно обратные функции