<>Relation Transitive Closure