RRR ist transitiv, wenn aus (a,b)∈R(a,b)\in R(a,b)∈R und (b,c)∈R(b,c)\in R(b,c)∈R stets (a,c)∈R(a,c)\in R(a,c)∈R folgt.
Beispiel: ≤\le≤ auf R\mathbb RR ist transitiv.