Définition

Nous dirons qu'une relation binaire sur un ensemble E est 'transitive' si dès qu'un élément est relié à un autre, et que cet autre est relié à un troisième alors le premier doit être relié au troisième.
R transitive ⇔  ∀ x,y,z ∈E  (xRy ∧ yRz) ⇒ xRz
La transitivité est assez peu visible, tant sur un graphe cartésien que sur un schéma sagittal.

Exemple de relation transitive:

Cliquez pour voir des exemples de relations transitives !

Café Python

Voici un programme qui teste la transitivité d'une relation: