Relation définie dans un ensemble E telle que, si les couples (x, y) et (y, z) appartiennent à la relation, alors le couple (x, z) appartient aussi à la relation.
Le diagramme sagittal d’une relation transitive dans un ensemble E comporte ainsi une flèche transit (x, z) associée à toute occurrence de deux flèches (x, y) et (y, z) du diagramme.
Exemples
- La relation « … est la soeur de … » dans une famille de quatre filles, est une relation transitive.
- La relation « … est parallèle à … » dans un ensemble de droites du plan, est une relation transitive.
- La relation « … est perpendiculaire à … » dans un ensemble de droites du plan, est une relation non transitive.