第4章二元关系(一)范例.ppt

第4章 二元关系 第4章 二元关系 4.1 二元关系及其表示 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包运算 4.5 等价关系 4.6 相容关系 第4章 二元关系 4.1二元关系及其表示 4.1.1二元关系的概念 定义4.1.1设A和B是任意集合，如果R?A×B，则称R是A到B的二元关系。如果R是A到A的二元关系，则称R是A上的二元关系。 设A=?1,2,3?，B=?a,b?，R=??1,a?,?2,a?,?3,b??。R是A到B的二元关系。S=??3,1?,?2,2?,?2,1?,?1,1??。S是A上的二元关系。 定义4.1.2设A和B是任意集合，R?A×B，若?x,y??R，则称x与y有R关系。记为xRy。若?x,y??R，则称x与y没有R关系。记为x y。 定义4.1.3设A和B是任意集合，空集?叫做A到B的空关系，仍然记为?。A，B的笛卡尔积A×B叫做A到B的全域关系，记为E。集合??a,a?|a?A?叫做A上的恒等关系。记为IA。 【例4.1】设A=?a,b?，B=?1,2?，求A上的恒等关系IA和 A到B的全域关系A×B。 解：A上的恒等关系IA=??a,a?,?b,b??，A到B的全域关系E =A×B=??a,1?,?a,2?,