, , ; . , , , .
, (. 8). ().
Q , , ( ). , . (). .
, Q: = Q.
Q>P, , = Q. P>Q .
, , . , . , , ; ( ). , , .
, , (. . 8, ), , , . , . : . , (. . 8, ).
. 8. Q () () .
2.1.3.
.
, . () , - , (. 9) R ; .
. 9. R : fix ( ) Ry ( )
( ) , ( 10) , , . R. .
|
|
; . , .. . -
. R .
, . 9 10, R , , : Rx ( ) Ry ( ). (. . 9) Rx , (. . 10) .