# 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.