. R X , , , .
:
|
: , , , , , , . . 6 ( 6 ) I, IV, IX .
12 1 (), .
, , , , .. , .
, , () ( , ). . , .
, . ? , , . . , , . () . : : .
. , ( , , ). : , , ..
. .
. , R X , , R .
.
. X . , X . X R : , . , .
|
|
, X , , , . , R . , R , .. , , z X : , , z, z. , R , , . , R X.
. , X (). X R, .. R () , aRx. R , a Î aRa, , R (a), a Î R (a). , b Î R (a), R (a) R (b) . , aRb. c Î R (b), bRc, aRb bRc aRc. c Î R (a). , R (b) R (a), .. R (b) Í R (a). , c Î R (a), .. aRc. aRb, R bRa, bRa aRc , bRc, c Î R (b). , R (a) R (b), .. R (a) Í R (b).
R (b) Í R (a) R (a) Í R (b) Þ R (a) = R (b).
, R (a) R (b) , . , R (a) R (b) R (c), .
, R (a) R (b) ( b Î R (a)), ( b Ï R (a)). R (a), X ().
. X = {1, 2, 3} . ?
. . . 3, 5 .
. 7