离散

序关系

偏序关系

标准定义请看书上P140页
以下全是自己理解

---

定义及举例

设 A 是一个非空集，P 是 A 上的一个关系，若关系P是自反的、反对称的、和传递的，则称P是集合A上的偏序关系。
即P适合下列条件：

• 对任意的a∈A,(a,a)∈P
• 若（a,b)∈P且（b,a)∈P,则a=b
• 若（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 (反对称