问问题

在2-SAT算法中，要将矛盾点中拓扑序小的点计入方案，一定是拓扑序小的吗，求解答%%%

小白没理解透但说一下自己的感性理解，就是无论拓扑序大还是小，他都是一个标志类的东西，时间戳完全倒过来也能表示拓扑序，那为什么一定是小于呢
%_%