定义
偏序（Partial Order）是数学集合上的一种二元关系，它必须同时满足自反性、反对称性和传递性。带有偏序关系的集合称为偏序集（Poset）。
核心直觉
“偏”字意味着“部分”。与所有元素都能两两比大小的“全序”（如数字 1 < 2 < 3）不同，偏序允许集合中存在无法相互比较的元素。就像公司里的职位级别：你可以明确知道 CEO 大于部门经理，经理大于普通员工；但两个不同部门的平级经理之间，无法直接比较谁“大”谁“小”。
关键点
- 三大性质：
- 自反性：（自己和自己可以比较）。
- 反对称性：若 且 ，则 。
- 传递性：若 且 ，则 。
- 典型应用：集合的包含关系（）、整数的整除关系、以及计算机科学中的依赖关系（如拓扑排序、并发编程中的 Happens-Before 关系）。