Tranisitivity

A homogeneous binary relation $R$ is transitive if and only if $(a, b) \in R$ and $(b, c) \in R \implies (a, c) \in R$, for all $(a, b), (b, c) \in R.$