Def/Transitive relation 1