i离散数学e-3-12-序关系(自然科学).pptVIP

a b c d e f g h i j k 例如，给定偏序集A, ≤ 的其哈斯图如右图所示： ⑴ 若B＝{a,b,c,d,e,f,g}，则B的极大元 ，极小元 ，最大元 ，最小元 ，上界为 ，下界为 。 ⑵ 若B＝{h,i,f,g}， 则B的极大元 ，极小元 ，最大元 ，最小元 ，上界为 ，下界为 。 * a b c d e f g h i j k 例如，给定偏序集A, ≤ 的其哈斯图如右图所示： ⑴ 若B＝{a,b,c,d,e,f,g}，则B的极大元 ，极小元 ，最大元 ，最小元 ，上界为 ，下界为 。 ⑵ 若B＝{h,i,f,g}， 则B的极大元 ，极小元 ，最大元 ，最小元 ，上界为 ，下界为 。 上界下界不是唯一的 * 五、上界与下界 定义3.12.8 设＜A，?＞为偏序集，B?A，a为B的上界。若对B的所有上界y均有a?y，称a为B的最小上界（上确界），记作LUB B 同样，b为B的一个下界，若对B的任一下界z，有z?b，称b为B的最大下界（下确界）记作GLB B。