, , . :
, xRy.
, 1) , 2) 3) .
1. ( sim-metria ), , . , . ( , ), ( d, d ), ( , , ), .
:
XRy > yRx.
2. ( -flexio ), . ( =,==) ( -
141
, , ).
:
XRy > xRx yRy.
3. ( transi-tivus ), z , z. , () , z z.
( b , ), ( z, , z), , ( , b , , ), , (, , ), , ..
:
XRy yRz) -> xRz.
, .
(xRy>yRx) : xRy , yRx . :
(xRy-^xRx yRy) : xRy , xRx yRy. :
= = b=b
(xRy yRz>xRz) :
xRy yRz , xRz . :
. . . . . .
|
|
, ,
142
. . , , .
1. ? ?
2. ?
3. ?
4. , , ?
5. ? , : , , , ?
6. ?
7. , .
8. ? 1-, 2- 3- ? .
9. ? .
VII
. .
, . , , . , -, - - .
, , , . -- .
, .