关系演示文件修改版.ppt

若R和S是集合A到B的两个二元关系，由于R和S是A×B的子集，所以如将A×B看作全集U，就可以求出它们的并、交、补、差。显然，这些运算结果仍是A×B的子集，因而仍是A到B的二元关系。于是有下面的定理。 关系图法寻找最大相容类 偏序集的特定元素 特定元素的性质 集合的最小（大）元比该集合中的任意元素都小（大）； 如果集合中没有元素比y 小（大），则 y 就是该集合的 　极小（大）元； 偏序集的特定元素(续) 实例 偏序集的特定元素性质 偏序集合与哈斯图 例：设集合A={a,b,c,d,e}, A上的偏序关系 ≤={a,d,a,c,a,b,a,e,b,e,c,e,d,e}∪IA 画出偏序集 A , ≤ 的哈斯图，并找出A的极大元、极小元、最大元和最小元、上界、下界、上确界和下确界。 例：画出集合A={2,3,4,8,9,10,11}上的整除关系，并找出A的极大元、极小元、最大元和最小元、上界、下界、上确界和下确界。 例1 若A＝{x1，x2，x3，x4，x5}，R是A上的相容关系，且 R＝{x1,x1,x2,x2,x3,x3,x4,x4,x5,x5,x1,x2, x1,x4,x2,x1,x2,x3,x2,x4,x2,x5,x3,x2, x3,x5,x4,x1,x4,x2,x4,x5,x5,x2,x5,x3,x5,x4} 画出R