等价关系 & 偏序关系 & 全序关系

等价

设 $R$ 是某个集合 $X$ 上的一个二元关系。若 $R$ 满足以下条件：

• 自反性：$\forall x\in X,xRx$
• 对称性：$\forall x,y\in X,xRy\Rightarrow yRx$
• 传递性：$\forall x,y,z\in X,(xRy\wedge yRz)\Rightarrow xRz$

则称 $R$ 是一个定义在 $X$ 上的等价关系。

例如：

• 平面几何中的三角形间的相似关系、全等关系都是等价关系；
• 平面几何中的平行关系是等价关系；

又例如：

设 X = { 1 , 4 , 7 } X=\{1,4,7\} X={1,4,7}，定义 $X$ 上的关系 $R$， R = { ( a , b ) ∣ a , b ∈ A ∧ a ≡ b   m o d   3 } R=\{(a,b)|a,b\in A \wedge a \equiv b\ mod\ 3\} R={(a,b)∣a,b∈A∧a≡b mod 3}，其中 $a\equiv bmod3$ 表示 $a$ 与 $b$ 模 3 同余，即 $a$ 除以 3 的余数和 $b$ 除以 3 的余数相等。不难验证 $R$ 是 $X$ 上的等价关系。

偏序

设 $R$ 是某个集合 $X$ 上的一个二元关系。若 $R$ 满足以下条件：

• 自反性：$\forall x\in X,xRx$
• 反对称性：$\forall x,y\in X$，若$xRy$ 且 $yRx$，则 $x=y$
• 传递性：$\forall x,y,z\in X,(xRy\wedge yRz)\Rightarrow xRz$

则称 $R$ 是一个定义在 $X$ 上的偏序关系。

举例：

• 实数集上的小于等于关系是一个偏序关系；
• 设 $S$ 是集合，$P(S)$是 $S$ 的所有子集构成的集合，定义 $P(S)$ 中两个元素 $A\le B$ 当且仅当 $A$ 是 $B$ 的子集，即 $A$ 包含于 $B$，则 $P(S)$ 在这个关系下成为偏序集；
• 设 $N$ 是正整数集，定义 $m\le n$ 当且仅当 $m$ 能整除 $n$，不难验证这是一个偏序关系；

如果要进一步划分，上面定义表示的是非严格偏序（自反偏序, $\le$），更严格一种的偏序关系叫做严格偏序（反自反偏序），设 $<$ 是某个集合 $X$ 上的一个二元关系。若 $<$ 满足以下条件：

• 反自反性：$\forall x\in X,x\nless x$
• 非对称性：$\forall x,y\in X,x<y\Rightarrow y\nless x$
• 传递性：$\forall x,y,z\in X,(xRy\wedge yRz)\Rightarrow xRz$

严格偏序与有向无环图（$DAG$）有直接的对应关系。一个集合上的严格偏序的关系图就是一个有向无环图。

全序

设 $R$ 是集合 $X$ 上的偏序关系，如果对于每个 $x,y\in X$，必有 $xRy$ 或 $yRx$，则称 $R$ 是集合 $X$ 上的全序关系。

一般的说偏序集合的两个元素 $x$ 和 $y$ 可以处于四个相互排斥的关联中任何一个：要么 $x<y$，要么 $x=y$，要么 $x>y$，要么 $x$ 和 $y$ 是“不可比较”的（三个都不是）。全序集合是用规则排除第四种可能的集合：所有元素对都是可比较的，并且声称三分法成立。

直观上，偏序指集合上只有部分元素之间可比较，而全序是指全体元素均可比较。