本体结论仅限于拓扑排序还是可以扩展到任意序列？