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