反之 x , A (, x )B (设 x )
若 x A ,则 A (x ) 1
从 B (x ) 而 1 ,即 x B
于是 A , B
( v ) A B x X ,A ( x ) B ( x )
推广:
x X , A i(x ) m i I A a i(x )x i I
( i) i x iX , A c ( x ) 1 A ( x )
( i ) A v B x X ,A ( x ) B ( x )
证: 先A 设 B.
若 A(x)0, A (x)B (x)显. 然
若 A (x ) 1 ,则 x A
x B B(x)1
A (x )B (x )
在2例 .3中, X到 从 Y的小于R1关 ,则系 :为 ( R1 ) 1{3(,2)(,4, 3)(,4, 2)为 } Y 从 到 X的大于关系
合成 R 1 P ( : X Y )设 R ,2 P (Y Z )则 ,R 1 与 R 2 的合 R 1R 2 P (X Z )定义为:
R 1 R 2 { x , z ) | y ( Y , ( x , y ) R 1 且 ( y , z ) R 2 } 特别地, R P ( X X )R 2 , 定 R R 义 ,R n R n 为 1 R 。 例2.5 X { 1 , 2 , 3 } Y { , a , b ,c ,d } Z { , 甲 , 乙 }
注 从X到Y的关系与从Y到X关系不同。
例 2.3
X{2,3},Y{1,2,3,4},从 X到 Y的小于关系为
R1{x(,y)|xy,xX,yY}{2(,3)(,3,4)(,2,4)}
从 Y到 X 的小于关系为: R 2{y(,x)|yx,xX,y Y}{1,(2)(,1,3)(,2,3)}