Mathématiques, informatique, politique et poésie
Soit \(f\) une application bijective de \(E\) dans \(F\).
Son application réciproque notée \(f^{
-1}\) est l'application qui à tout \(y \in F\) associe \(x \in E\) tel que \(f(x)=y\).
Elle est bien définie si et seulement si \(f\) est bijective, l'injectivité donnant l'unicité des images, et la surjectivité donnant la définition sur tout \(F\).