relations can be transitive.one example of a transitive relation is the "smaller-than" relation. if x "is smaller than" y,and y is "smaller than" z,then x "is smaller than" z. in general, a transitive relation is a relation such that if relations (a,b) and (b,c) both belong to r, then (a,c) must also belongs to r.