-
- -
- - -
- -
-
, , , , , , . , , , , .
. . , [105]. , <S; R1, , Rn>, S , , R1, R2, , Rn S. <S; R> <T; Q> , f, - S T, , x y S xRy, T f(x)Qf(x).
-, , (T; Q) (S; R). .
, U= (S; R) , U V= (T; Q), T . (U, V, f) . g = φ (f) , (U, V, f) .
(U, V, g) :
1) ,
>0;
2) ,
, β>0;
3) ,
- ;
4) , .
- . - -
-. - 3: , . , , .
A = <A, R1, , Rn>, , R1,..., Rn . - <, R1,..., Rn>, . , , . - , .
|
|
- , R , f , R, .. .
<, R, f>.
f .
A A. <A, R, f> .
B = <B, f1, , fn> , <, R, g > , R - , g . . y, , . , : , .
. , , , [106].
, , , , , , . , -
, . , , , , , , , 4, , 2, , 5, 4, 4 3, .. , . , .. . - , .. () , .
- , .. () , , , [107]: -, 6 ; -, .
, , , . . , , 3, , [108].
|
|
. , , [109].
. , [110]. , , [111]. () [112]. , - , , , [113].
- . () , . ( ) () - [114].
- [115]. -
. , [116]. , .
, , [117], [118]. .