文章目录
- 偏序与拟序
- 哈斯图
- 最小元最大元 极大元极小元
- 良序关系
- 相容关系
- 完全覆盖
偏序与拟序
偏序小于等于 拟序小于
拟序关系：
全序
小于等于关系是 全序关系
整除关系““|” 不是全序关系
哈斯图
最小元最大元 极大元极小元
最大元最小元是B集合中的，上界下界可以是存在于A集合中B集合不存在的
注意B中也可以有上界，上界可以不唯一
注意： 上、下界未必存在，存在时又未必唯一。
在有上界、下界时，最小上界和最大下界也未必唯一
良序关系
定理6.2.3
每个良序集合，一定是存在最小元素 的全序集合。
相容关系
相容类
注意相容类是一个集合，其中的元素不是二元关系
注意x1与x5之间没有边连结
完全覆盖
