Definition:Transitive Reduction of Relation