Пусть дано соответствие G Í A ´ В. Тогда соответствие H Í В ´ А называется обратным к G (обозначается G-1), если H таково, что (b, а) Î Н тогда и только тогда, когда (a, b) Î G.
Если соответствие, обратное к функции f: A-->B, является функциональным, то оно называется функцией, обратной к f (обозначается f -1). Для функции f: A-->B обратная функция существует тогда и только тогда, когда f является взаимно однозначным соответствием между своими областями определения и значений.