Иначе говоря, функция является обратимой тогда и только тогда, когда ее обратное отношение является функцией диапазона Y, и в этом случае обратное отношение является обратной функцией.
Обратная функция - это понятие математики.