Sia $X$ un insieme e $R$ una relazione binaria definita sul prodotto cartesiano $X \times X$.
Allora $R$ gode della proprietà transitiva se
$$ \forall a,b,c \in X \hspace{0.5cm} a \sim b \hspace{0.3cm} b \sim c \Rightarrow a \sim c $$
Se $a\le b$ e $b\le c$ su $\mathbb{R}$, allora $a \le c$: la relazione $\le$ è transitiva.