La réciproque d'une fonction f de X dans Y est la relation notée f -1, de Y dans X, telle que, pour tous les éléments du domaine de f, si y = f(x), alors x = f -1(y).
