Transitive
A relation R on a set S is transitive provided that for all x, y and z in S such that xRy and yRz, we also have xRz.
See also
Associative, Commutative, RelationExplore with Wolfram|Alpha
WolframAlpha
More things to try:
Cite this as:
Weisstein, Eric W. "Transitive." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Transitive.html