若一个有向图的邻接矩阵中，对角线以下元素均为0，则该图的拓扑有序序列必定存在。