Définitions

y est ' image' de x par P si xPy, c'est à dire si y est relié à x par P.
Pour tout élément x de la source on a les 3 possibilités:
Considérons par exemple la relation xPy: x2+y2=1 de ℝ vers ℝ et il n'y a pour cette relation, aucune autre possibilité.
Voici maintenant quelques exemples simples que vous pouvez générer. Im(x) désigne l'ensemble des images de x.
Cliquez pour voir des exemples!

Café Python

Voici un programme qui liste les images de tous les éléments de la source: