Définition

Soit R une relation d'une ensemble A vers un ensemble B. A partir de R on définit une relation de source B et de but A, notée R-1 et appelée ' réciproque ' de R, de la façon suivante:
yR-1x  ⇔ xRy
y image de x par R ⇔ x image de y par R-1 ⇔  x antécédent de y par R ⇔ y antécédent de x par R-1
Il résulte de la définition que la réciproque de la réciproque de R est R elle-même. (R-1)-1=R

Voici quelques exemples simples. Colonne de gauche relation directe, colonne de droite relation réciproque.
Cliquez pour voir des exemples!

Café Python

Voici un programme qui illustre la relation entre R et sa réciproque:

Voici un programme utilisant le fait qu'une fonction Python peut prendre en argument une fonction et retourner une fonction sous forme de 'lambda expression'