transitive relation holds good in happen before relationship code example
Example: what is transitive relation
relation in which if (a,b) and (b,c) exist then (a,c) also exists
relation in which if (a,b) and (b,c) exist then (a,c) also exists