离散数学 01.02 关系

$\color{blue}{\S 1.2 关系}$

$\color{blue}{1.2.1 关系的基本概念及其性质}$

$定义1.2.1.设A_1, A_2, \cdots, A_n是n个集合，集合A_1 \times A_2 \times \cdots A_n的一个\\ 子集F称为A_1, A_2, \cdots,A_n上的一个n元关系。特别地,集合A \times B 中的一\\ 个子集R，称为集合A与B上的一个二元关系，简称为关系。对于x \in A, y\\ \in B,若(x, y) \in R则称x,y有关系R，记为xRy；若(x, y) \not \in R,则称x,y\\ 没有关系R。若B = A，则称R为A上的二元关系。$

$关系的特点: \\ (1) A \times A的任一子集都是A上的一个关系。\\ (2) 若|A| = n,则A上的关系有2^{n^2}个。\\ (3) A上的三个特殊关系,即空关系\phi;区域关系E_A = A \times A;\\ \quad 相等关系I_A = \lbrace (x, x) | x \in A \rbrace。\\ (4) \overline R = A \times A - R。\\ 序偶(a, b) = (c, d)的充要条件是a = c, b = d。$

$例1.2.1. 设A = \lbrace a, b, c, d, e, f \rbrace 为学生集合，B= \lbrace \alpha, \beta, \gamma, \delta \rbrace为选修课程集合, \\ C= \lbrace 2, 3, 4, 5 \rbrace为学习成绩集合,学生与课程之间存在着一种关系,即“选修关系”;\\ 学生、课程和成绩之间也存在着一种叫做“学习成绩关系”。设用R表示选修关系，\\ S表示学习成绩关系，那么R为A与B上的二元关系,S为A，B和C上的三元关系。$
$R= \lbrace (a, \alpha), (a, \delta), (b, \beta), (b, \delta), (c, \beta), (c, \delta), (e, \alpha), (f, \gamma) \rbrace$
$表示学生a选修课程\alpha, \delta;学生b选修课程\beta, \delta;学生c选修课程\beta,\gamma;学生e选修课程\\ \alpha;学生f选修课程\gamma；而学生d没有选修任何课程。$
$S = \lbrace (a, \alpha, 5), (a, \delta, 5), (b, \delta, 3), (c, \beta, 4), (f, \gamma, 2) \rbrace$
$表示学生a所选的两门课程成绩都是5分；学生b所选\delta课程的成绩是3分;学生c所选\\ \beta课程的成绩是4分;学生f所选\gamma课程的成绩是2分.$
$既然关系是集合,因此有时用处理集合的方法处理关系是方便的。因而有子关系，关\\ 系的并、交、差、余等运算.$
$如R,S是集合A上的两个关系,若R \subseteq S,则称R为S的子关系;\\ 对任意x,y \in A,有$
$x (R \cup S) y当且仅当xRy或者xSy$
$x(R \cap S) y 当且仅当xRy并且xSy$
$x(R - S) y当且仅当xRy并且(x, y) \not \in S$
$x {\overline R} y 当且仅当 (x, y) \not \in R$
$当然，集合的并、交、差、余运算各性质对关系运算也成立。需要注意，\\ 作为关系时，余运算是对全域关系而言的。即A \times B 作为全集E.$

$定义1.2.2.设R是集合A上的一个关系。令$
$R^{-1} = \lbrace (y, x) | x \in A, y \in A,并且有xRy \rbrace$
$则称关系R^{-1}为关系R的逆。$
$例如，小于关系的逆关系是大于关系，大于关系的逆是小于关系，\\ 等于关系的逆关系仍然是等于关系$

$定义1.2.3.集合A上的关系R称为自反的(反身的)，如果对每个x \in A,都有xRx。\\ 对于自反性有下列三个命题是等价的:\\ (1) R是自反的; \\ (2) I_A \subseteq R; \\ (3) R^{-1} 是自反的.$

$定义1.2.4.集合A上的关系R称为对称的，如果xRy,则yRx。其中x \in A, y \in A。\\ 对于对称性有下面两个命题是等价的: \\ (1) R是对称的;\\ (2) R^{-1} = R。$

$定义1.2.5.集合A上的关系R称为有反对称性，如果xRy,yRx,则必有x=y。\\ 其中x \in A, y \in A。对于反对称性有下列两个命题是等价的:\\ (1) R是反对称的,\\ (2) R \cap R^{-1} \subseteq I_A.$

$定义1.2.6.集合A上的关系R称为有传递性，如果xRy,yRz, 则xRz。\\ 其中x \in A, y \in A, z \in A。$
$例如：数之间的相等关系，具有自反性，对称性，传递性，反对称性。\\ 小于关系和大于关系没有自反性，\\ 父子关系既无自反性，也无对称性又无传递性，但是具有反对称性.$

$定义1.2.7.集合A上的关系R称为反自反的，如果对任意的x \in A, xRx均不成立。\\ 对于反自反性又下列两个命题是等价的:\\ (1) R是反自反的, \\ (2) I_A \cap R = \phi .$

$定义1.2.8.设R、S是集合A上的两个关系，令R \bullet S = \lbrace (x, y) | x \in A, y \in A \\ 并且有一个z \in A使得xRz, zSy \rbrace 。称关系R \bullet S为关系R和S的乘积或合成。$
$例如：兄弟关系和父子关系的乘积是叔侄关系,\\ 而姐妹关系和母子关系的乘积是姨与外甥关系$

$我们可以来证明关系的乘法满足结合律。设R，S和T是集合A上的三个关系，\\ 任取x,y \in A, 若x (R \bullet S) \bullet Ty,则由关系乘积的定义知,存在z \in A使得\\ x R \bullet Sz, zTy,同样对xR \bullet Sz,必存在z^{\prime} \in A使得xR z^{\prime}, z^{\prime} S z。故由 z^{\prime} S z\\ 和zTy知 z^{\prime} S \bullet Ty,再由xR z^{\prime}得xR \bullet (S \bullet T) y,即证得了关系的乘法满足结\\ 合律。$
$乘法关系不满足交换律$
$我们可以用幂表示集合上同一个关系的乘积，即R^n = R \bullet R \bullet \cdots \bullet R,\\ 规定R^0 = I_A。$

$定理1.2.1.设R是A上的关系，m,n为任意的自然数，那么\\ (1) R^m \bullet R^n = R^{m + n}; (2) (R^m)^n = R^{mn}.$
$定理1.2.2. 设集合A的元数为n,R是A上二元关系,\\ 那么存在自然数i,j(0 \leq i < j \leq 2^{n^2})使得R^i = R^j。$

$定理1.2.3.设R是集合A上的关系，若存在自然数i,j(i < j),使得R^i = R^j,则有\\ (1) R^{i + k} = R^{j+k}, k \in N; \\ (2) R^{i + kp + m } = R^{i + m }, 其中k, m \in N, p = j - i。$

$定理1.2.4.集合A上的关系R具有传递性的充要条件是R \bullet R \subseteq R\\ (R \bullet R可简记为R^2)。$
$证:必要性。\\ 若R具有传递性,任取(x,y) \in R^2,于是存在z \in A,使得xRz, zRy, \\ 因为R是传递的，所以有xRy, 即(x, y) \in R。故R^2 \subseteq R。\\ 充分性。\\ 若R^2 \subseteq R,如果xRy, yRz,则xR^2z。故xRz。所以R是传递性的。$

$一般来说，设A是一个集合，A上的关系R不一定具有上面讨论的某些\\ 关系,如自反性，对称性，传递性。\\ 最小的包含R的关系R^{\prime}，使得R^{\prime}具有所要求性质,就是关系的闭包。$

$定义1.2.9.设A是为非空集合，R是A上的二元关系。\\ R的自反闭包(对称闭包,传递闭包)R^{\prime}满足如下条件: \\ (1) R^{\prime}是自反的(对称的、传递的); \\ (2) R \subseteq R^{\prime}; \\ (3) 对A上任意自反的(对称的，传递的)关系R^{\prime \prime},且R \subseteq R^{\prime \prime},必有R^{\prime} \subseteq R^{\prime \prime}。$

$R的自反闭包、对称闭包和传递闭包分别记为r(R),s(R),t(R),\\ 也称r,s,t为闭包运算，它们作用于关系R后，产生包含R的最小的\\ 自反、对称、传递的关系。这三个闭包也可以依据下述定理来计算。$

$定理1.2.5.设R是集合A上的关系,那么\\ (1) r(R) = I_A \cup R; \\ (2) s(R) = R \cup R^{-1}; \\ (3) t(R) = \bigcup \limits_ i^{\infty} R^{i}$
$当R是有限集合A上的二元关系时,若A的元数为n,\\ 则有t(R) = R \cup R^2 \cup \cdots \cup R^n$

$设集合A = \lbrace 1, 2, 3, 4 \rbrace,R是集合A上的关系,R = \lbrace (1, 2), (2, 1), (2, 3), (3, 4) \rbrace, \\ 求r(R), s(R), t(R)$
$解:I_A = \lbrace (1, 1), (2, 2), (3, 3), (4, 4) \rbrace \\ R^{-1} = \lbrace (2, 1), (1, 2), (3, 2), (4, 3) \rbrace \\ R^2 = \lbrace (1, 1), (1, 3), (2, 2), (2, 4) \rbrace \\ R^3 = \lbrace (1, 2), (1, 4), (2, 1), (2, 3) \rbrace \\ R^4 = \lbrace (1, 1), (1, 3), (2, 2,), (2, 4) \rbrace \\ r(R) = R \cup I_A = \lbrace (1, 1), (1, 2), (2, 1), (2, 2), (2, 3), (3, 3), (3, 4), (4, 4) \rbrace \\ s(R) = R \cup R^{-1} = \lbrace (1, 2), (2, 1), (2, 3), (3, 2), (3, 4), (4, 3) \rbrace \\ t(R) = R \cup R^2 \cup R^3 \cup R^4 \\ = \lbrace (1, 1), (1, 2), (1, 3), (1, 4), (2, 1), (2, 2), (2, 3), (2, 4), (3, 4) \rbrace$

$1.2.2. 等价关系$

$定义1.2.10.设A是一个非空集合，R是A上一个关系。如果R具有自反性，对称性，\\ 传递性，则称R是一个等价关系.此时R通常记为 \cong 。$
$注意：当R是A上的一个等价关系时,并不是说A中任意两个元素都有R关系，而是有\\ 些元素做成一个等价类组，有些元素做成另一个等价类组，即将A中各元素按R等价关\\ 系分成若干类，每一类就是A的一个子集，也就是等价类。$

$定义1.2.11.设A是一个非空集合，\cong 是A的等价关系。A的一个非空子集M叫做一\\ 个等价类，如果\\ 1)若a \in M, b \in M, 则 a \cong b。\\ 2)若a \in M, b \not \in M, 则(a, b) \not \in \cong;或者若 a \in M, a \cong b, 则 b \in M。$
$即，如果M中任意两个元素等价,而M中任意元素与M外任意元素不等价,\\ 则M就是一个等价类。$

$例如：设A = \lbrace 1, 2, 3 \rbrace, R = \lbrace (1, 1), (2, 2), (3, 3), (1, 2), (2, 1) \rbrace, 则R是\\ 等价关系，存在两个等价类M_1 = \lbrace 1, 2 \rbrace, M_2 = \lbrace 3 \rbrace。$

$定理1.2.6.设\cong是集合A上的等价关系，于是等价类是存在的。$
$证：任取a \in A, 令 M = \lbrace x | x \in A并且 x \cong a \rbrace \\ 因为a \in M, 所以M非空。\\ 任取x_1 \in M, x_2 \in M, 由于x_1 \cong a, x_2 \cong a,\\ 而\cong具有对称性，传递性，所以x_1 \cong x_2。 \\ 任取x_1 \in M, 若x_1 \cong y, 则由于x_1 \cong a,所以y \cong a,故y \in M。\\ 因此,M是一个等价类。$

$定理1.2.7.设 \cong 是集合A上的等价关系，M_1, M_2, \cdots, 是A中所有等价类。\\ 于是A = M_1 \cup M_2 \cup \cdots, 并且 M_i \cap M_j = \phi(i \neq j)。亦即，集合A上\\ 的等价关系把A分成了互不相交的等价类。$
$证：任取M_i, M_j,i \neq j。若有x \in M_i \cap M_j,则任取a \in M_i, b \in M_j,\\ 都有a \cong x, b \cong x,故M_i = M_j矛盾。\\ 任取a \in A, 令M = \lbrace x | x \in A并且x \cong a \rbrace \\ 由定理1.2.6知，M是等价类，故有k，使得M = M_k, \\ 因为a \in M, 所以a \in M_1 \cup M_2 \cup \cdots \cup M_k \cup \cdots。\\ 即A \subseteq M_1 \cup M_2 \cup \cdots ,\\ 另外，显然有M_1 \cup M_2 \cup \cdots \subseteq A。 \\ 故A = M_1 \cup M_2 \cup \cdots。$

$定义1.2.12.当集合A的子集族C满族下列条件时,C称为A的划分:\\ (1) 若B \in C, 则B \neq \phi; \\ (2) \cup B = A; \\ (3) 对任意的B, B^{\prime} \in C,若B \neq B^{\prime},则B \cap B^{\prime} = \phi。$
$我们规定A = \phi时只有划分\phi,称C中元素为划分块。$
$如：A = \lbrace 1, 2, 3, 4, 5 \rbrace,则C = \lbrace \lbrace1, 2, 3 \rbrace, \lbrace 4, 5 \rbrace \rbrace是一个划分。$

$定义1.2.13.设R是非空集合A上的等价关系，以R的所有不同等价类为元素作成的集\\ 合称为A的商集，记作A/R。由等价类的定义我们能够知道A/R的任何两个元素的交\\ 集为空，且\cup A/R = A。$
$例1.2.2.设A = \lbrace 1, 2, 3, 4, 5, 8 \rbrace, R = \lbrace (x, y) | x, y \in A 并且 x \equiv y(\mod 3) \rbrace, \\ A/R = \lbrace [1], [2], [3] \rbrace \\ = \lbrace \lbrace 1, 4 \rbrace, \lbrace 2, 5, 8 \rbrace, \lbrace 3 \rbrace \rbrace 。$
$其中x \equiv y (\mod 3)表示x与y满足各自除以3余数相同,\\ [x]表示与x等价的所有元素作成的等价类。$

$例1.2.3.设A = \lbrace a_1, a_2, \cdots, a_n \rbrace, n \geq 1。\\ (1) 验证E_A, I_A,R_{ij} = I_A \cup \lbrace (a_i, a_j), (a_j, a_i) \rbrace 都是A上的等价关系，\\ 并求它们对应的商集，其中a_i,a_j \in A,且i \neq j。\phi是A上的等价关系吗？\\ (2) A = \lbrace a, b, c \rbrace,试求出A上的全体等价关系及其对应的商集。$
$解:(1) E_A, I_A,R_{ij}显然是等价关系。\\ A/I_A = \lbrace \lbrace a_1 \rbrace, \lbrace a_2 \rbrace, \cdots, \lbrace a_n \rbrace \rbrace , \\ A/E_A = \lbrace \lbrace a_1, a_2, \cdots, a_n \rbrace \rbrace, \\ A/R_{ij} = \lbrace \lbrace a_i, a_j \rbrace, \lbrace a_{k1} \rbrace, \lbrace a_{k2} \rbrace, \cdots, \lbrace a_{kn-2} \rbrace \rbrace, \\ 其中k_1, k_2, \cdots, k_{n-2}均不等于i或j，共有C_n^2个。\\ \phi因为无自反性，所以不是A上的等价关系。\\ (2) A = \lbrace a, b, c \rbrace上有5种不同的等价关系:\\ E_A,其商集为A/E_A = \lbrace \lbrace a, b, c \rbrace \rbrace; \\ I_A,其商集为A/I_A = \lbrace \lbrace a \rbrace, \lbrace b \rbrace, \lbrace c \rbrace \rbrace; \\ R_1 = I_A \cup \lbrace (a, b) , (b, a) \rbrace , A/R_1 = \lbrace \lbrace a, b \rbrace, \lbrace c \rbrace \rbrace; \\ R_2 = I_A \cup \lbrace (a, c), (c, a) \rbrace, A/R_2 = \lbrace \lbrace a, c \rbrace, \lbrace b \rbrace \rbrace; \\ R_3 = I_A \cup \lbrace (b, c), (c, b) \rbrace, A/R_3 = \lbrace \lbrace b, c \rbrace, \lbrace a \rbrace \rbrace;$
$A上还有其余的等价关系码?我们知道，A上共有2^9 = 512个不同的二元关系，\\ 不能用逐个验证的方法去找等价关系,下面介绍如何用对A的划分来找A上的等价关系。$

$定理1.2.8.设A为一个非空集合。\\ (1)设R为A上的任意一个等价关系，则对应R的商集A/R为A的一个划分。\\ (2)设C为A的任一划分，令R_C=\lbrace (x, y) | x, y \in A 并且x,y 属于C的同一划分块 \rbrace,\\ 则R_C为A上的等价关系。$

$此定理说明，非空集合A上的等价关系与A的划分是1-1对应的，于是\\ A上有多少不同的等价关系，就产生同样个数的不同的划分，反之亦然。$

$例1.2.4 问集合A = \lbrace a, b, c, d \rbrace 上有多少不同的等价关系?$
$解:A上共有2^{16}个二元关系,从中找出等价关系太困难,利用定理1.2.8可先求出\\ A上的全部划分，A上的等价关系也就容易求出来了.$
$这里A的不同的划分个数为15，因而，A上共有15个不同的等价关系。$
$共有15种：具体等价关系的划分类型：\\ 1+1+1+1型共1种\\ \lbrace \lbrace a\rbrace ,\lbrace b\rbrace ,\lbrace c\rbrace ,\lbrace d\rbrace \rbrace \\ 2+1+1型共6种\\ \lbrace \lbrace a,b\rbrace ,\lbrace c\rbrace ,\lbrace d\rbrace \rbrace \\ \lbrace \lbrace a,c\rbrace ,\lbrace b\rbrace ,\lbrace d\rbrace \rbrace \\ \lbrace \lbrace a,d\rbrace ,\lbrace b\rbrace ,\lbrace c\rbrace \rbrace \\ \lbrace \lbrace c,b\rbrace ,\lbrace a\rbrace ,\lbrace d\rbrace \rbrace \\ \lbrace \lbrace d,c\rbrace ,\lbrace b\rbrace ,\lbrace a\rbrace \rbrace \\ \lbrace \lbrace b,d\rbrace ,\lbrace a\rbrace ,\lbrace c\rbrace \rbrace \\ 2+2型共3种\\ \lbrace \lbrace a,b\rbrace ,\lbrace c,d\rbrace \rbrace \\ \lbrace \lbrace a,c\rbrace ,\lbrace b,d\rbrace \rbrace \\ \lbrace \lbrace a,d\rbrace ,\lbrace b,c\rbrace \rbrace \\ 3+1型共4种\\ \lbrace \lbrace a,b,c\rbrace ,\lbrace d\rbrace \rbrace \\ \lbrace \lbrace b,c,d\rbrace ,\lbrace a\rbrace \rbrace \\ \lbrace \lbrace c,d, a \rbrace ,\lbrace b\rbrace \rbrace \\ \lbrace \lbrace d, a,b\rbrace ,\lbrace c\rbrace \rbrace \\ 4型共1种\\ \lbrace \lbrace a,b,c,d\rbrace \rbrace$

$定义1.2.14.设C和C^{\prime}都是集合A的划分,若C的每个划分块都含于\\ C^{\prime}的某个划分块中，则称C是C^{\prime}的加细。$
$C是C^{\prime}的加细，当且仅当R_C \subseteq R_{C^{\prime}}$

$例1.2.5.设A = \lbrace a, b, c \rbrace,找出A的全部划分及对应的等价关系,\\ 以及划分间的加细和关系中的包含关系。$
$解:A上共有5个划分: \\ C_1 = \lbrace \lbrace a, b, c \rbrace \rbrace, \\ C_2 = \lbrace \lbrace a \rbrace, \lbrace b, c \rbrace \rbrace, \\ C_3 = \lbrace \lbrace b \rbrace, \lbrace a, c \rbrace \rbrace, \\ C_4 = \lbrace \lbrace c \rbrace, \lbrace a, b \rbrace \rbrace, \\ C_5 = \lbrace \lbrace a \rbrace, \lbrace b \rbrace, \lbrace c \rbrace \rbrace。\\ 它们对应的等价关系分别为\\ R_{C1} = E_A, \\ R_{C2} = I_A \cup \lbrace (b, c), (c, b) \rbrace, \\ R_{C3} = I_A \cup \lbrace (a, c), (c, a) \rbrace, \\ R_{C4} = I_A \cup \lbrace (a, b), (b, a) \rbrace, \\ R_{C5} = I_A。\\\ C_2, C_3, C_4, C_5都是C_1的加细,R_{C2}, R_{C3}, R_{C4}, R_{C5}都是R_{C1}的子集;\\ C_5也是C_2,C_3,C_4的加细，R_{C5}也是R_{C2}, R_{C3}, R_{C4}的子集。$

$定义1.2.15.设R是集合A上的一个关系。如果R具有自反性，反对称性，传递性，则\\ 称R为一个部分序关系(或称半序关系)。集合A在部分序关系R下作成一个部分序集。$

$一个部分序集的子集仍为部分序集。例如，集合中的包含关系就是一个部分序关\\ 系，由一些集合做元素而作成的集合，在集合的包含关系下是一个部分序集。通\\ 常，将部分序关系R写作\leq,读作“小于或等于”。$

$定义1.2.16.一个部分序集A(其部分序关系为\leq)说是一个全序集，如果对A中任意两\\ 个元素a,b，必有a \leq b, 或者 b \leq a,全序集有时也称为链。$
$显然，全序集的子集仍为全序集。$
$例如，数的集合在数的大小关系下做成一个全序集。$

$定义1.2.17.设R是集合A上的一个关系。如果R具有反自反性，传递性，\\ 则称R为一个拟序关系。记作<,读作“小于”。$

$定义1.2.18.设A是一个部分序集，其部分序关系为\leq。$
$(1) 如果A中有一个元素a,对于所有x \in A,都有x \leq a (a \leq x),\\ 则称a为集合A的最大(最小)元。$
$A中元素a是一个极大(极小)元，如果除a之外,A中没有元素x,使得\\ a \leq x (x \leq a)。$
$(3)对于A中的子集M,A中元素a称为子集M的一个上界(下界)，如\\ 果对M中任意元素m，都有m \leq a(a \leq m)。M的上界(下界)未必\\ 在M中，甚至M未必有上界(下界)。$

$(4)对于A中的子集M，A中元素a称为M的一个最小上界(或上确界)，\\ 如果a是M的一个上界，并且对M的任意一个上界x，都有a \leq x。同\\ 理，可定义M的最大下界(或者下确界)。$

$定理1.2.9.设(A, \leq)是一个部分序集，B \subseteq A。$
$(1) 若b是B的最大元(最小元)，则b必为B的最小上界(最大下界)。$
$(2) 若b为B的上(下)界，且b \in B,则b必为B的最大(最小)元。$
$(3)若B有最大下界(最小上界)，则最大下界(最小上界)唯一。$

$注意：最大元，最小元未必存在，如果存在必唯一，极大元，极小元\\ 对有限部分序集必存在，但未必唯一。上下界未必存在，存在时未必\\ 唯一，即使有上下界时，最小上界和最大下界也未必存在。$

$例如:A = \lbrace 2, 3, 6 \rbrace, 其上的部分序关系R是整除关系，则A有最大\\ 元6，没有最小元，有极大值6，极小元2和3，A有上界6，没有下界。\\ 令B=\lbrace 6 \rbrace,则B有上界6，下界2和3，最小上界为6，没有最大下界。$

$一个部分序集，可以用所谓Hasse图直观地表示出来。Hasse图的画\\ 法如下：以平面上的点代表部分序集中的元素。\\ 1)若x \leq y, 且x \neq y,则将x画在y的下面。\\ 2)若x \leq y, x \neq y, 并且没有不同于x,y的z,使得x \leq y \leq z,则在x,\\ y之间用直线连接。$
$例如，令A = \lbrace \lbrace a \rbrace, \lbrace b \rbrace, \lbrace a, b \rbrace, \lbrace a, b, c \rbrace, \lbrace a, b, c, d \rbrace, \lbrace a, b ,c, e \rbrace \rbrace。\\ A在集合的包含关系下是一个部分序集。A的Hasse图如下$

$此部分序集中无最大，最小元。但是有极大元，极小元。\lbrace a, b, c, d \rbrace 和\\ \lbrace a, b, c, e \rbrace是极大元，\lbrace a \rbrace 和 \lbrace b \rbrace 是极小元。$
$对于子集\lbrace \lbrace a \rbrace, \lbrace b \rbrace \rbrace, \lbrace a, b \rbrace 是其最小上界，但是，此子集无下界，当然更没有最大下界。$

$定义1.2.19.设(A, \leq )是一个部分序集。\\ (1) 称(A, \leq)是良基的，如果A的任意非空子集都有关于\leq的最小元; \\ (2) 称(A, \leq)是良序集，如果(A, \leq)是全序的、良基的。$

$定理1.2.10.设(A, \leq)是有穷的全序集，那么它一定是良序集。$
$证:设A = \lbrace a_1, a_2, a_3, \cdots, a_n \rbrace,现在假设A不是良序集，那么必\\ 存在一个非空子集B \subseteq A,B中不存在最小元，由于B是有穷的集合，\\ 那么一定可以找出两个元素x和y，它们之间没有\leq关系，这与(A, \leq)\\ 是有穷的全序集矛盾。$

$定义1.2.20.部分序集(A, \leq)称为完备的，如果\\ (1) A有最小元,常记为\bot_A或 \bot。\\ (2) A中每一个链K均有最小上界(上确界)。$
$例如，设B为一个集合，那么(\rho(B), \subseteq)为一完备的部分序集，其中\phi为\\ 最小元,对每一个链\lbrace b_1, b_2, b_3, \cdots \rbrace = K, \cup K \subseteq B总存在，\cup K为\\ K的最小下界。$

$定理1.2.11.具有最小元，且仅含有穷链的部分序集是完备的。$
$例1.2.6.在真值集\lbrace 1, 0 \rbrace中加入元素\omega,称为无定义值，并在\lbrace 1, 0, \omega \rbrace上\\ 定义部分序\leq: a \leq b当且仅当a = \omega或a = b。显然，(\lbrace 1, 0, \omega \rbrace, \leq)\\ 是一个完备的部分序集，它在计算机形式语义学中有重要应用。$

$引理.每一个非空有穷部分序集(A, \leq)都有极小元素。$
$证:选择A的一个元素a_0,如果它不是极小元素，那么存在元素a_1满足\\ a_1 \leq a_0。如果a_1不是极小元素,那么存在元素a_2满足a_2 \leq a_1。如此\\ 下去,使得如果a_n不是极小元素，那么又存在元素a_{n+1}满足a_{n+1} \leq a_n\\ 。由于此部分序集是有穷的，此过程一定结束,并且具有极小元素a_n。$
$有了此引理我们就可以构造把部分序集改造为全序集的算法。$

$算法1：设(A, \leq)为一非空有穷部分序集，如下构造(A, \leq ^{\prime}),使之为全序\\ 集，且保持对任何a,b \in A有，若a \leq b, 则a \leq ^{\prime} b。\\ (1) 置B为A，置A为\phi。\\ (2) 取B中任一极小元x(B \neq \phi时总存在)作为A的一个元素，\\ 即置B为B-\lbrace x \rbrace,置A为A \cup \lbrace x \rbrace。\\ (3) 若B \neq \phi，转到(2)，否则停止。\\ (4) 依A中元素进入先后定义部分序关系\leq ^{\prime}, 即a \leq ^{\prime} b,当且仅当\\ a先于b进入A,或a = b。\\ 显然(A, \leq ^{\prime})为一全序集(从而为一良序集)。\\ 上述过程常称为拓扑排序算法。利用以上算法可以把任一有穷的部分序集\\ 改造为全序集，从而成为一良序集。$