Transitive

Transitive relations are such that

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

The transitive closure is not necessarily symmetric or reflexive