Transitive Closure ➪ Modeling relations Transitive relation