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$.