R - X, , , z . R , xRy.
1. R X , .
R X <=> xRx x X
R , . , , . 42.
2. R X , , , , .
R ( => Rx)
, . , , - (. 42).
3. R X , X , , , .
R ի(xRy xy ≠ yRx)
: .
. (. 42). , . , , , (. 40).
4. R X , , z, , Z
R - A≠ (xRy yRz=> xRz)
, 42 , , , . . .
, .
. , , , , ; .
X , , . X .
, , : , , . ( , ) .
|
|
1 , .
.
, : , , ; , .
. , , , .
6. ?
7. ? .
8. . , . .
9. . . .
10. .
11. .
12. .
13. .
14. ? .
15. ? .
16. ?
17. ?
18. ?
19. .
20. ?
21. ?
22. ?
23. ?
24. .
25. .
26. ?