离散数学第2版教学课件-关系的运算.pdfVIP

4.3 关系的运算 关系是有序对的集合。所 以集合的并、交、补 、对称差等运算也适用 于关系。 本节我们介绍关系所特有的7种基本运算及性质。 4.3.1定义域与值域 定义4.7 设R是二元关系， （1）R中所有有序对的第一元素构成的集合称为R的定义域 ，记作domR，可表示为 ： domR = {x | y(x, y R)} （2）R中所有有序对的第二元素构成的集合称为R的值域 ，记作ranR，可表示为 ： ranR = {y | x(x,y R)} （3）定义域和值域的并集称为R的域 ，记作fldR，可表示为 ： fldR = domRranR 4.3.1定义域与值域 例4.11 已知R = { 1, 1, 1, 2, 2, 3, 2, 4, 4, 2} ，则 domR = {1, 2, 4} ranR = {1, 2, 3, 4} fldR = {1,2,3,4} 4.3.1定义域与值域 定义4.8 设R是二元关系，A为集合 ， （1）R在A上的限制记作R↾ A ，其中