数理逻辑二元关系.ppt

例7.19 例7.19 画出偏序集{1,2,3,4,5,6,7,8,9}，R整除和P({a,b,c}),R?的哈斯图。 ｛a｝ 例7.20 例7.20 已知偏序集A,R的哈斯图如右图所示，试求出集合A和关系R的表达式。 解答 A={a,b,c,d,e,f,g,h} R={ b,d,b,e,b,f,c,d, c,e,c,f,d,f,e,f, g,h}∪IA 偏序集中的特殊元素 定义7.24 设A，≤为偏序集，B?A，y∈B。 （1）若?x(x∈B→y≤x)成立，则称y为B的最小元。 （2）若?x(x∈B→x≤y)成立，则称y为B的最大元。 （3）若?x(x∈B∧x≤y→x＝y)成立，则称y为B的极小元。 （4）若?x(x∈B∧y≤x→x＝y)成立，则称y为B的极大元。 36 3 24 2 12 6 B 最大元 最小元 极大元 极小元 {2,3,6,12,24,36} {6,12} {2,3,6} {6} 无 无 24,26 2,3 12 6 12 6 6 无 6 2,3 6 6 6 6 特殊元素的性质 最小元是B中最小的元素，它与B中其它元素都可比。 极小元不一定与B中元素可比，只要没有比它小的元素，它就是极小元