例3对任意的集合A,在P(A上的包含关 系R1和真包含关系R2定义为 R1={<X,y>|X∈P(A)^y∈P( A)ACy R2={<X,y>|x∈P(A)^y∈P(A)^XCy
例3 对任意的集合A，在P(A)上的包含关 系R1和真包含关系R2定义为 R1={<x,y>|x∈P(A)∧y∈P(A)∧xy} R2={<x,y>|x∈P(A)^y∈P(A)^xy}
若A={},则P(A)={,{Φy},P(A 上的R1和R2是 R1={<,中>,<Φ,{Φ}>,<{① {Φ}>}, R2={<④,{}>}
若A＝{}，则P(A)＝{，{}}，P(A) 上的R1和R2是 R1＝{<，>，<，{}>，<{}， {}>}， R2＝{<，{}>}
二元关系是二元组的集合.推广这个概念, 可以用n元组的集合定义n元关系 定义10.1.2若n∈N且n>1,A1, A2 An是n个集合, A1×A2×…×An的任一子集称为从A1到 An上的一个元关系
二元关系是二元组的集合．推广这个概念， 可以用n元组的集合定义n元关系． 定义10．1．2 若n∈N且n>1，A1， A2，…，An是n个集合，则 A1×A2×…×An的任一子集称为从A1到 An上的一个n元关系．
101.2特殊的关系 下面定义三个A上的特殊的关系 ◆定义10.1.3对任意的集合A (1)A上的恒等关系L定义为 A={<x,X>|x∈A}, (2)A上的全域关系(全关系)E定义为 EA={<x,y>|X∈Ay∈Ay, (3)Φ是A上的空关系
10.1.2 特殊的关系 下面定义三个A上的特殊的关系． 定义10．1．3 对任意的集合A． (1)A上的恒等关系IA定义为 IA={<x，x>|x∈A}， (2)A上的全域关系(全关系)EA定义为 EA={<x，y>|x∈A^y∈A}， (3) 是A上的空关系．
↑例4设A=<a,b>,则 IA={<a,a>,<b,b>}, A={<a,a>,<a,b>,<b,a>,<b b>}
例4 设A＝<a，b>，则 IA={<a，a>，<b，b>}， EA={<a，a>，<a,b>，<b，a>，<b， b>}．