离散数学10__第5章 关系与函数_关系的性质_自反对称传递

一 关系的定义

设A、 B是任意两个集合， A x B 的子集R称为从A到B的二元关系， 简称为关系。

特别地，当A=B时， 称R为A上的关系。 如果<x, y> ∈ R,可记为xRy, 称x与y有关系R;

如果<x, y>R，则记为 , 称 x与y没有关系R。

二 定义域，值域，域的定义

设R是集合A上的二元关系，

（1）R中所有有序对的第一元素构成的集合称为R的定义域， 记为  ，表示为 

;

(2)  R中所有有序对的第二元素构成的集合称为R的值域，记为 ,表示为

；

    （3）R的定义域和值域的并集称为