Definition:Transitive Closure of Set