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.