1.5.5 最小上界(上确界)和最大下界(下确界)
最小划分:划分块最少的划分.即只有一个划分块的划分,这个划分块就是 $X$ 本身.
最大划分:划分块最多的划分.即每个划分块里只有一个元素的划分.
等价关系 $R$ 的关系图由若干个独立子图构成,每个独立子图都是完全关系图.
思路:每个划分类做笛卡尔积再取并集即可.
全序关系一定是偏序关系,但是偏序不一定是全序.
不同的极大(小)元之间是无关的.
最小上界(上确界)和最大下界(下确界)
定理 2:有限的全序集,一定是良序集.
Reiner发表在"积分获取指南"
青发表在"LambdaOJ:手写数字识别 解题报告"