La bijection.
Définition :
\(f\) est une application bijective si elle est injective et surjective, c'est-à-dire tout élément de \(F\) est l'image d'un unique élément de \(E\), \(f\) est bijective si et seulement si : \((\forall y \in F), (\exists !x \in E), (f(x) = y)\). \((\exists !\) signifie unique).
Remarque :
Lorsque une application \(f\) est bijective cela veut dire que l'application inverse \(f^{-1}\) existe. \(f^{-1}\) est aussi bijective de \(F\) sur \(E\) et \((f^{-1})^{-1} = f\).