[[File:Transitive Closure.svg|thumb|upright=1.2|在以蓝线标识的有向无环图中,添加红线从而得到其[[传递闭包]]]]当存在一条从顶点{{mvar|u}}到顶点{{mvar|v}}的路径时,顶点{{mvar|v}}被称作是从顶点{{mvar|u}}{{link-en|可达性|Reachability|可达}}的。每个顶点都是从自身可达的(通过一条没有边的路径)。如果一个顶点可以从一个非平凡路径(一条由一个或更多边组成的路径)到达自身,那么这条路径就是一个环。因此,有向无环图也可以被定义为没有顶点可以通过非平凡路径到达自身的图。<ref>{{citation|title=Simulation Techniques for Discrete Event Systems|volume=14|series=Cambridge Computer Science Texts|first=I.|last=Mitrani|year=1982|publisher=Cambridge University Press|isbn=9780521282826|page=27|url=https://books.google.com/books?id=CF04AAAAIAAJ&pg=PA27}}.</ref> | [[File:Transitive Closure.svg|thumb|upright=1.2|在以蓝线标识的有向无环图中,添加红线从而得到其[[传递闭包]]]]当存在一条从顶点{{mvar|u}}到顶点{{mvar|v}}的路径时,顶点{{mvar|v}}被称作是从顶点{{mvar|u}}{{link-en|可达性|Reachability|可达}}的。每个顶点都是从自身可达的(通过一条没有边的路径)。如果一个顶点可以从一个非平凡路径(一条由一个或更多边组成的路径)到达自身,那么这条路径就是一个环。因此,有向无环图也可以被定义为没有顶点可以通过非平凡路径到达自身的图。<ref>{{citation|title=Simulation Techniques for Discrete Event Systems|volume=14|series=Cambridge Computer Science Texts|first=I.|last=Mitrani|year=1982|publisher=Cambridge University Press|isbn=9780521282826|page=27|url=https://books.google.com/books?id=CF04AAAAIAAJ&pg=PA27}}.</ref> |