前言：到了二元关系中最后一部分，非常非常抽象，但是理解了就还好，我们一步一步来
0X00 「偏序关系」的基本定义
我们先回到最初的定义：
假设 R 是集合 A 上的关系，如果R是自反的、反对称的和传递的，则称 R 是 A 上的一个偏序，记做 。设
为偏序关系，如果
，则记做
，读作 x 小于等于 y。
这个非常抽象，我们举个例子：
假设我们有这样的集合 R 是 A 上的
小于等于关系也就是
所以
我们画出他的关系图：
显然他是自反的（环）、反对称的（无双向边）、传递的
不知道大家看到这里的大家有没有理解到偏序关系的本质：
偏序关系定义了一种方向，只能正着，反证就不行！
比如这里的小于等于就是只有一种方向，可以 就不能
至此，我们引出下一个定义可比：
存在这种偏序关系的就叫做可比
由于这种顺序结构，我们可以用哈斯图来表示偏序关系
假设
画出哈斯图：
这种自底向上的图就是哈斯图
0X01 「偏序集」的基本定义
理解了偏序关系的基本定义以后，我们就很容易理解偏序集
我们把集合 A 和 A 上的偏序关系 一起称作
偏序集，记做
0X02 「偏序集」中的特殊元素
最小元和最大元
我们看到这张图片，最大元就是 最小元就是
所以直观来说最大元 就是“最大”的那个，在哈斯图中最上面的
相反最小元就是“最小”的那个，在哈斯图图中最小的
而在这张图中：
而这张图就不存在最大元只存在最小元因为 11 9 12 8 10 7 之间就不可比
极小元与极大元
搞清楚了最大元和最小元，我们继续，还是回到这张图上：
里面的极大元是 11 9 12 8 10 7，极小元只有 1。
极大元的意思就是在可比的那一条链中最大的，极小元的意思就是在可比的那一条链中最小的
上界与下界
之前的概念只在一个集合中，而谈到上下界就必须涉及到两个集合了，现在我们给出定义：
设
- 若
则 y 是 B 的上界
- 若
则 y 是 B 的下界
假设 ，定义了一个
偏序关系并有以下哈斯图：
则 B 的上界就是
由于 2, 3 之间不可比，所以B 的下界只有
上确界与下确界
如果能够理解上界和下界的话，上确界与下确界就更好理解了，简单来说
-
上确界就是上界中“最小”的那个 -
下确界就是下界中“最大”的那个
还是上面那个例子，B 的上界是 , 其中“最小”的就是 6。所以 B 的上确界就是 6。
反之 B 的下确界就是 1。
二元关系就结束了。。。
