binary relation transitive code example Example: what is transitive relation relation in which if (a,b) and (b,c) exist then (a,c) also exists