Transitive

A property of a Binary relation $R$ on a set $T$ such that if $t_{0}R{t}_1$ and $t_{1}R{t}_2$ then $t_{0}R{t}_2$, for every $t_0$, $t_1$, $t_2$ $\in T$.