4.1二元关系及其表示法 定义4.7：设R为二元关系，则 (1).domR={x|3y(xy)}为R的定义域； (2).ranR={y|3x(xy)》为R的值域； (3).fldR=domRUranR为R的域。 一般地，若R是A到B上的二元关系，则有 domRC A,ranR C B ·例4-1：设A={1,2,3,4,5,6},B={a,b,c,d}, 则R=[K2,a>,<2,b>,<3,b>,<4,c>,<6, c>},那么domR={2,3,4,6},ranR={a,b,c}。 71577/57 4.1 二元关系及其表示法 •定义4.7：设R为二元关系，则 (1). 为R的定义域； (2). 为R的值域； (3). 为R的域。 一般地，若R是A到B上的二元关系，则有 。 • 例4-1：设A={1,2,3,4,5,6}，B={a, b, c, d}， 则R={<2, a>，<2, b>，<3, b>，<4, c>，<6, c>}，那么domR={2,3,4,6}，ranR={a, b, c}。 domR ={x | y(xRy)} ranR ={y | x(xRy)} fldR = domRranR domR  A,ranR  B