Transitivity. A relation defined over a pair of objects R(.,.) is transitive if R(a,b) and R(b,c) implies that R(a,c). For example, the < (less than) relation is transitive, because a<b and b<c implies a<c.