-
全序集是任意两个元素都可以比较的偏序集。
- 序的存在可对应一些特殊的物理意义，比如时间上的先后关系；
良序集（well order）是任意非空子集都有最小元的全序集。
1. 等价
设 是某个集合 A 上的一个二元关系。若 R 满足以下条件：
- 自反性：
- 对称性：
- 传递性：
称 R 是一个定义在 A 上的等价关系。习惯上会把等价关系的符号由 改写为 ∼。
例如，设 如下：
其中（R 在形式上不包含 3，但在实际含义上，却有对 3 取模的意思）。不难验证 R 为 A 上的等价关系（三个性质的验证）。
不是所有的二元关系也是等价关系。一个简单的反例子是比较两个数中哪个较大：
- 没有自反性：任何一个数不能比自身为较大 ()
- 没有对称性：如果
2. 偏序（partial order）
设 A 是一个非空集，P 是 A 上的一个关系，若关系P是自反的、反对称的、和传递的，则称P是集合A上的偏序关系。
即P适合下列条件：
- （1）对任意的a∈A,(a,a)∈P;
- （2）若（a,b)∈P且（b,a)∈P,则a=b;
- （3）若（a,b)∈P,(b,c)∈P,则（a,c)∈P,
则称 P 是 A 上的一个偏序关系。
带偏序关系的集合 A 称为偏序集或半序集。
若P是A上的一个偏序关系，我们用a≤b来表示（a,b)∈P。
举如下例子说明偏序关系：
- 1、实数集上的小于等于关系是一个偏序关系。
- 2、设 S 是集合，P（S）是 S 的所有子集构成的集合，定义 P（S）中两个元素 A≤B 当且仅当 A 是 B 的子集，即 A 包含于 B，则P（S）在这个关系下成为偏序集。
- 3、设 N 是正整数集，定义 m ≤ n 当且仅当m能整除n，不难验证这是一个偏序关系。注意它不同于N上的自然序关系。
偏序是在集合 P 上的二元关系（≤），它是自反的、反对称的、和传递的，就是说，对于所有 P 中的 a, b 和 c，有着:
- a ≤ a (自反性)；
- 如果 a ≤ b 且 b ≤ a 则 a = b (反对称性)；
- 如果 a ≤ b 且 b ≤ c 则 a ≤ c (传递性)。
3. 全序（total order）
在集合 ，则集合 A 上的偏序 R 是全序的或线性序的。
4. 举例
如下，两幅有向图：
边 （从 x 指向 y），
- 左图表示偏序， 不存在关系；
- 右图正是加上了一条 的边，才成为正序；