偏序
定义
设 R 是非空集合 A 上的一类二元关系，如果它同时具备三条性质，就称为 A 上的偏序关系，习惯上用符号「≤」表示[1]。第一条是自反性，即对任意元素 a 都有 a≤a；第二条是反对称性，即 a≤b 与 b≤a 同时成立时必有 a=b；第三条是传递性，即由 a≤b 与 b≤c 可以推出 a≤c[1]。
带有偏序关系的集合与这个关系一起构成偏序集，记作 ⟨A, ≤⟩[3]。与偏序相对，若把符号改写成严格形式「<」，其条件变为反自反与传递，称为严格偏序；两种写法一一对应，由 a<b 表示 a≤b 且 a≠b，反过来由 a<b 或 a=b 也可还原出「≤」。
若两个元素之间至少有一个方向的不等式成立，称它们可比，否则称不可比；当集合中任意两个元素都可比时，这个偏序就退化为全序，也就是线性序[2]。全序集只是偏序集的一个特殊类型，实数按大小排列是全序，而集合按包含排列一般只是偏序[4]。
原理
偏序刻画的是元素之间「一部分而已」的先后或大小关系。以幂集为例，对某个集合 X 的全部子集规定 A≤B 当且仅当 A 是 B 的子集，这一包含关系满足三条公理，因而构成偏序集；当两个子集互有对方没有的元素时，它们就无法比较[5]。正整数的整除关系、向量的分量式大小、函数在每一点上都不超过另一函数，都是常见的偏序实例[5]。
在偏序集中可以定义若干特殊元素。若某个元素大于等于子集的全部元素，称其为上界，所有上界中最小的一个称为上确界；相应地有下界与下确界，上确界与下确界记作 sup 和 inf[5]。若任意两个元素都存在上确界与下确界，这个偏序集就是格，格论由此成为序理论的直接延伸[5]。
有限偏序集可以画成哈斯图。作图时省略自反性带来的自环，也省略传递性可以推出的连线，只在存在盖住关系的元素之间连边，并用位置高低代替箭头方向，位于上方的元素在序中更大[6]。所谓盖住，是指 x<y 且不存在处于二者之间的元素 z[6]。
偏序集与其对偶偏序集关系密切。把原关系反向、令 x≤′y 当且仅当 y≤x，得到的仍是偏序集，称为原偏序集的对偶，两者的哈斯图恰好上下颠倒[5]。
发展历程
序的比较观念极为古老，但作为数学对象被严格定义则要到 19 世纪末。全序的数学定义由康托在 1895 年明确给出，偏序的定义则出现在 20 世纪初豪斯多夫的工作中。据文献追溯，偏序集理论的奠基者通常被列为皮尔斯、施罗德与豪斯多夫。
豪斯多夫 1908 年发表《有序集理论纲要》，1914 年出版《集合论基础》，系统整理并扩展了康托的集合论，对偏序集给出了新的定义与结果，一般拓扑学的概念也在同一部著作中首次成形[7]。序与格论的独立发展起点可追溯到 19 世纪末群论中的子群生成问题，戴德金在 1900 年给出相关解答[4]。
20 世纪 30 年代，伯克霍夫与奥尔开始系统研究序与格论，伯克霍夫撰写的《格论》于 1940 年出版，被视作第一部格论专著，此后序结构成为数学的基础分支之一[4]。法国布尔巴基学派进一步把序结构、代数结构与拓扑结构并列为现代数学的三大母结构[4]。
1950 年，迪尔沃思定理给出了偏序集上链与反链的数量关系，成为组合数学的中心结果之一，并与霍尔定理、门格尔定理等经典结论相互关联[8]。
应用
由偏序构造一个与之相容的全序，这一操作称为拓扑排序，被广泛用于项目安排与工作调度[9]。项目管理中，任务之间「某项完成之后另一项才能开始」的约束构成偏序，用顶点表示活动、有向边表示优先关系可得到活动结点网，对它做拓扑排序即可给出可行的执行次序[9]。
严格偏序与有向无环图存在直接对应关系，集合上的严格偏序其关系图就是无环有向图[10]。有向无环图一定存在至少一种拓扑排序，这一特性使它在数据处理、任务调度、编译器优化等场景中用于表达依赖关系[11]。
在课程安排中，先修课程与后续课程之间的关系同样构成偏序，画出哈斯图后依次输出极小元即可得到符合先后要求的开课顺序[12]。格作为一个带有上下确界的特殊偏序集，其概念和结果还出现在代数学、射影几何、集合论、数理逻辑、泛函分析与概率论等分支中[13]。
局限
偏序并不能为集合中的每一对元素排出先后。当两个元素不可比时，偏序只说明它们之间没有顺序关系，而不给出谁大谁小的结论，这是它与全序的根本差别[2]。因此在依赖关系建模中，同一个偏序往往允许存在多个合法的拓扑排序结果，序本身无法唯一确定执行方案[9]。
偏序集上的若干对象并不总存在。极大元、极小元可能存在多个或者不存在，上界与上确界也可能缺失，只有在有限偏序集中极小元才保证存在[8]。某些运算要求上确界与下确界处处存在，此时偏序集必须具备格甚至完备格那样的额外条件，一般偏序集并不满足[5]。
偏序关系还要求反对称性，这一条件排除了「互相不大于对方却又不相等」的情形。按绝对值大小给复数排序时，1 与虚数单位 i 的模相同而本身不相等，就不满足反对称性，因此它只是预序而非偏序[2]。预序去掉这种等价混淆后才能归约为偏序[14]。
参见
参考资料
- [科普中国]-偏序集 [引用日期2026-10-14]
- 偏序集合 [引用日期2026-10-14]
- Chapter 5 [引用日期2026-10-14]
- 清华大学出版社--图书前言 [引用日期2026-10-14]
- ecsponline.com 上的 PDF 文件 [引用日期2026-10-14]
- 离散数学 [引用日期2026-10-14]
- HAUSDORFF’s works [引用日期2026-10-14]
- 内容提要 [引用日期2026-10-14]
- 文章编号:1000- 2022(2002)05- 0711- 04 [引用日期2026-10-14]
- 偏序集合_百度百科 [引用日期2026-10-14]
- 有向无环图（DAG）的实际应用 [引用日期2026-10-14]
- 根据一个集合上的偏序关系构造一个相容的全序关系叫拓扑排序 [引用日期2026-10-14]
- [科普中国]-完全格 [引用日期2026-10-14]
- Appendix I [引用日期2026-10-14]