transitive (relation -) [latin : trans, au dela; et ire, passer] (2) :
Une relation * sur un ensemble E est transitive
si et seulement si :
Quels que soient a, b et c appartenant
à E, a*b et b*c implique a*c.
La relation d'égalité est transitive sur tout ensemble.
La relation D
est transitive sur
et sur
.
La relation de parallélisme est transitive sur l'ensemble des plans de
l'espace.
La relation de parallélisme est transitive sur l'ensemble des droites
du plan ou de l'espace.