X Y X Y. Y . , Y X, X, X.
. Y X, X Y.
12 .
. 12
, Y , X. , Y , X. X Y.
. Y X, .
13 14 .
X Y . .
. Y X, ().
15 16.
. X , a Y . , .
( , , ), X Y. , ( ), , ( ). , ( ), .
. R , R -1 , Y X , xRy, yR -1 x. R R -1, .
. ( ) X Y, , X Y.
: ~ Y.
, , . 3 :
1) X ~ ;
2) X Y, X ~ Y, Y ~ X;
3) X, Y, Z, X ~ Y Y ~ Z, X ~ Z.
, Î . .
|
|
. X ~ Y , . Y X, . , Y ~ X.
, 3. ,
~ Y , R: X Y, Y ~ Z , Q: Y Z. F: X Z : Î z Î Z , = R (x), z = Q (y). , F (x) = Q (R (x)). F R Q, F = Q R. , F . , X ~ Z.
~ Y , . , . , .