One of the most important properties of a binary relation. A relation $R$ on a set $A$ is called transitive if, for any $a,b,c\in A$, the conditions $aRb$ and $bRc$ imply $aRc$. Equivalence relations and orderings are examples of transitive relations.
Transitivity. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Transitivity&oldid=31686