Transitive

Transitive relations are such that

(i, j), and (j, k) implies (i, k)