传递有向图

如果对于任意三个顶点 ，当存在边 时，也意味着存在边 ，则 图 是传递的。未标记的传递有向图被称为 有向图拓扑。