Definition:Transitive Closure of Relation