并且，对其中一个我们称唿作根的顶点formula_1，以及任何其他顶点formula_2，此图必然存在且只存在一条从formula_1到formula_2的路径。换句话说，树状图是一个有向的，有根的树，并且所有的边都指离根的方向。所有的树状图都是一个有向无环图。