内容提要偏序关系的定义(PartialOrder)“字典顺序”全序：一种特殊的偏序关系偏序集上的“小于”关系及覆盖哈斯图偏序集中的特殊元素：极大(小)偏序集中的特殊元素：最大(小)偏序集中的特殊元素：上(下)确界拓扑排序（Topologicalsorting）良序关于次序关系的进一步讨论链与反链链与反链（示例）链覆盖是(P,≼)中一组互不相交的链,它们一起包含了P中的所有元素.Dilworth定理(1950)在任意有限偏序集(P,≼)中,覆盖P的最小链数等于P中最长反链的长度（元素个数）.注：覆盖P的链数P中任一反链的元素个数.等价结论:有限偏序集中存在一个链覆盖和一个反链，它们大小相等Dilworth定理的归纳证明Dilworth定理的归纳证明（续）“道是无序却有序”建立问题的偏序模型格格的例子格（示例）格（示例）格与哈斯图格与哈斯图（续）格的基本关系式格的性质格的性质作业