离散数学第一章第2节.ppt

§1.2 关 系(relations) 1.2.1 关系的基本概念及其性质 1.2.2 等价关系 1.2.3 部分序关系 1.2.1 关系的基本概念及其性质 一、关系的定义 二、关系的表示 三、关系作为集合的运算 四、几种特殊关系及特点 五、闭包运算 一、关系的定义 定义 设A1,A2,?,An是n个集合， 集合A1?A2 ???An的一个子集 F 称为A1,A2,?,An上的一个n元关系。 特别地，集合A?B中的一个子集R，称为集合A与B上的一个二元关系(binary relation)，简称为关系。 对于x?A，y?B，R是A与B上的一个二元关系，若(x,y)?R，则称x，y有关系R，记为xRy；若(x,y)?R，则称x，y没有关系R，记为xRy。 若B=A，则R称为A上的二元关系。 关系的特点 1. A?A的任一子集都是A上的一个关系； 2. 若?A?=n，则A上的关系有 个。 3. A上的3个特殊关系，即 空关系?； 全域关系EA=A?A；相等关系IA={(x,x)?x?A}。 4. 5. 有序对(a,b)=(c,d)的充要条件是a=c，b=d。 例 例 N上的小于关系R： R={(x, y)|xy, 且x, y ∈N} 用