关系的运教学课件.pptVIP

7.3关系的运算 关系的定义域、值域、域 关系的逆运算及其性质 关系的复合（合并）运算及其性质 关系的“限制”运算及其性质 集合在关系下的“像”及性质 关系的幂运算及其性质 一、关系的定义域、值域、域 e.g.设A = {a,b,c,d,e}，B = {x,y,z}， R = {a,x,b,y,c,x}, 关系R的定义域为：domR = {a,b,c}； 关系R的值域：ranR = {x,y}； 关系R的域：fldR = {a,b,c,x,y}。 一、关系的定义域、值域、域 定义：设R是二元关系，由x,y ?R的所有x组成的集合称为R的定义域(前域），记作domR；使x,y ?R的所有y组成的集合称为R的值域，记作ranR。 二、关系的逆运算及其性质 定义：二元关系R的逆关系记为R?1 R?1 = {y,x | x,y?R} 二、关系的逆运算及其性质 关系逆运算的相关性质： 二、关系的逆运算及其性质 设R、S是任意的二元关系， (R∪S)-1= R-1∪S-1 (R∩S)-1= R-1∩S-1 (～R)-1= ～(R-1) (R-S)-1= R-1-S-1 R?S?R-1?S-1 三、关系的复合运算及其性质 定义：二元关系R、S的复合运算记作R°S R°S = {x,z