$f:A\rightarrow B$ fonksiyon olsun. $f$'nin tersi mevcutsa $f^{-1}=\{(b,a)\in B\times A \mid b=f(a)\}$ şeklinde bir bağıntıdır(fonksiyondur). $f^{-1}=g$ diyelim. Bu durumda $g^{-1}=\{(a,b)\in A\times B\mid b=f(a)\}$ şeklinde olup bu ise $f$ fonksiyonudur.