Application réciproque

Soit $f : A \longrightarrow B$ une application bijective.

Théorème B.2.1   Il existe une unique fonction $f^{-1}$, appelée application réciproque de f, telle que pour tous $x \in A$, $y \in B$ tels que $f(x) = y$, on ait $f^{-1}(y) = x$.

On remarque que $f \circ f^{-1} = f^{-1} \circ f = id$.