。在偏序关系中，如果存在一条路径从顶点指向顶点，它们的偏序关系可被写作。这也被称作是从可达的。不同的有向无环图可以有着相同的可达关系和偏序关系。例如，有两条边，的有向无环图，和有三条边的, ，的有向无环图有着相同的偏序关系。对于一个有向无环图，它的传递闭包等同于一个在保持与其相同可达性的情况下，边数最多的图。在这个图中，当可达的时候，边必定存在。换句话说，每个中的非相同元素偏序关系对都在这个图中有一条边。这可以被视作用图来可视化图的可达性关系。有向无环图的传递规约为和其有着相同可达性，边数最少的图。它