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