Transitive Closure Of A Set