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