³ A B - C Í A ´ B. (a,b)Î C, , b a C.
, , .
, ( ) . = { 1,2,3,4,5 } B= { a,b,c,d }, C= {(1,a), (1,d), (2,), (2,d), (3,b), (5,), (5,b)} - A B. 1,2,3,4,5 , a,b,c,d - (.1.3). C
. , A, - , B. a b , (a,b) . .1.3 C .
C . Pr1 C , Pr2 - C.
a ÎPr1 C C b ÎPr2 C, a; C(a). b ÎPr2 C C a ÎPr1 C, b;
C -1 (b). D ÍPr1 C, D C ᒺ D; C(D). G Í Pr2 C; C -1 (G).
) )
.1.3
, - : ᒺ, , .
. ³, C A B, D B A , D= { (b,a) | (a,b)Î C }. ³, C, C - 1.
C Í A ´ B D Í B ´ F, (, ) C D ( C D) H A F ,
H= {(a,b) | c Î B, (a,c)Î C (c,b)Î D }.
C A B.
Pr1 C=A, C . .
³ f Í A ´ B , A B, a ÎPr1 f Pr2 f, a ÎPr1 f b Pr2 f. f - A B, , A B f: A B A B.
|
|
f Í A ´ B A B f:A B A B. ³ .
³ A A A.
BA A B.
, : , . , f Pr1 f , f (a) a ÎPr1 f f a.
³ C (), B, Pr2 C =B.
³ C 풺 (풺), , b ÎPr2 C C - 1(b) . , A B. 풺 1-1 .
³, 풺, ᳺ, ᳺ. A B.
, , , , 풺.
³ iA = { (a,a) | a Î A } , A.
A A A.
C A A C(n) C C ... C (n C). C(0)=iA C(1)=C.