定义 设A 是1个偏序集合B是A的子集对于B中.pptVIP

定义5： 设A， 是一个偏序集合，B是A的子集，对于B中的一个元素b，如果B中没有任何元素x,满足b?x且 b x，则称b为B的极大元。 同理，对于b?B，如果B中没有任何元素x，满足b?x且x b，则称b为B的极小元。 定义6： 令＜A， ＞是一个偏序集，且B是A的子集，若有某个元素 b?B，对于 B中每一个元素x有x b，则称b为＜B， ＞的最大元。 同理，若有某个元素的b?B，对每一个x?B有b x，则称b为＜B， ＞的最小元。 定理1 令＜A， ＞是一个偏序集且B?A，若B有最大（最小）元，则必是唯一的。 定义7： 设＜A， ＞为一偏序集，对于B?A，如有a?A，且对B的任意元素x，都满足x a，则称 a为子集 B的上界。 同样地，对于 B的任意元素x，都满足a x，则称a为B的下界。 定义8：设＜A， ＞为偏序集且B?A为一子集，a为B的任一上界，若对B的所有上界y均有a y，则称a为B的最小上界（上确界）记作LUB B。 同样，若b为B的任一下界，若对B的所有下界z，均有z b，则称b为B的最大下界（下确界），记作 GLB B。 定义9：任一偏序集合，假如它的每一个非空子集存在最小元素，这种偏序集称为良序的。 定理2：每一个良序集合，一定是全序集合。 定理3：每一个有限的全序集合，一定是良序集合。 * *