第4章 关系分析.ppt

第四讲 关 系 4.1 二元关系 4.2 关系运算 4.3 关系类型 4.1 二元关系 二元关系，这里是指集合中两个元素之间的关系。 1．基本概念 定义4.1.1 给定任意集合A和B，若R?A?B，则称R为从A到B的二元关系，特别在A=B时，称R为A上的二元关系。 二元关系的定义 可见，R是有序对的集合。若x,y?R，则也表为xRy，即x,y?R?xRy。 若R=?，则称R为A到B上空关系；若R=A?B，称R为A到B上全域关系。特别当A=B时，称?为A上空关系，称R=A?A为A上的全域关系。称R={x,x|x?A}为A上的恒等关系，记为IA。 例 A={0,1}, B={1,2,3}, R1={0,2}, R2=A×B, R3=?, R4={0,1}. 那么 R1, R2, R3, R4是从 A 到 B 的二元关系, R3和R4同时也是 A上的二元关系. 例如, A={1,2}, 则 EA={1,1,1,2,2,1,2,2} IA={1,1,2,2} A上重要关系的实例 实例 例 A = {1, 2, 3}, B ={a, b}, 则LA={1,1,1,2,1,3,2,2,2,3,3,3} DA={1,1,1,2,1,3,2,2,3,3} 定义4.1.2 令R?A?B，且 dm(R)={x|(?y)(xRy)} rn