transitive_relation