Si f est une fonction de E dans F bijective, sa bijection réciproque est une fonction de F dans E.
L'image réciproque, c'est une fonction de l'ensemble des parties de F dans l'ensemble des parties de E, qui à un sous-ensemble B de F associe l'ensemble des x de E tels que f(x) appartient à B.