- , , I , ,
( ŖI) .
≠ ,
≠ .
→ - .
(-) .
≠ ,
= .
→ - .
(I-).
= ,
≠ .
→ - .
→ ,
→ .
(-I -).
= ,
≠ .
→ - .
→ ,
→ .
3- , → .
: () (.)→ (I) (.); () (.); () (.); () - .
, .
- , , , I .
-, , I , .
I - , , .
, , I .
, , I .
, I , .
I , , , - .
, - , , I .
R .
=, =,
, R → R .
: , , , .
xRy
R sim
yRx
: , , .
= , ≠
: , , , () .
, Z,
Z.
: , - , , , , , .
|
|
xRy
R
R trans
xRz
: , , , . .
, .
, , , , , .
, , , : , .
, , : .
().
, . , , .
, , . , : , .