域名和图像

定义： 设 R 为 A 与 B 的关系。 属于 R 的有序对的所有第一个元素组成的集合 D 称为 R 的域。

x

属于 R 的有序对的所有第二个元素的集合 Im 称为 R 的图像。

y

从 DCA 和 ImCB 的定义可以看出。

示例：

  1. 如果 A = {0,2,3,4} 且 B = {1,2,3,4,5,6} 关系 R = {(x,y) E A X B y 是 x} 的倍数，其定义域和图像是什么？ 使用箭头方案，很容易看出 D 是 A 中箭头出发的元素集合，Im 是 B 中箭头到达的元素集合，意思是：

R = {(2.2), (2,4), (2,6, (3,3), (3,6) (4,4),)} D = {2,3,4} Im = {2,3,4,6}

  1. 如果 A = {x} 且 B = {y}，则 R = {(x,y)} 关系的定义域和值域是什么？ 使用笛卡尔表示 我们有 D = {x} 且 Im = {y}