Définitions

x est ' antécédent' de y par P si xPy, c'est à dire si y est relié à x par P.
Pour tout élément y du but on a les 3 possibilités:
Considérons par exemple la relation xPy : x2=y de ℝ vers ℝ Notez qu'il est très important de préciser quels sont les ensembles de départ et d'arrivée.
Les résultats seraient différents si on considérait la même relation de ℚ vers ℚ ou bien de ℂ vers ℂ.
et il n'y a pour cette relation, aucune autre possibilité.
Voici maintenant quelques exemples simples que vous pouvez générer en cliquant sur le bouton. Nous notons ici Ant(y) l'ensemble des antécédents d'un élément y du but.
Cliquez pour voir des exemples!

Café Python

Voici un programme qui liste les antécédents de tous les éléments du but: