Relation transitive
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.