Transivity

A homogeneous relation R over set X is transitive if for all elements a,b,c in X whenever R relates a to b and b to c, then R also relates a to c.