f^{-1}(y)=x \iff f(x)=y