Bonsoir,
il me semble difficile de dire qu'une relation est une bijection, mais je ne suis pas au courant de tout.
Ce qui est certain c'est que le graphe de cette relation, qui est une partie de PE
PE est aussi le graphe d'une bijection.
En d'autre termes,étant donné un élément A de PE, il existe un élément B et un seul de PE tel que A R B.
On peut donc définir une application f de PE dans PE par f(A)=B tel que A R B.
Et cette application est bijective.
Tout cei provenant de l'unicité du complémentaire.