A relation on a set is transitive provided that for all , and in such that and , we also have .
Transitive
See also
Associative, Commutative, RelationExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Transitive." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Transitive.html