Definition:Transitive