:
(3.41)
. (3.42)
, , , , . . t : , . ,
(3.43)
, (3.43) :
(3.44)
( !)
:
(, -)
.
=[ ] = , ,
. (3.45)
(3.41) (3.42) = , , . . , (3.43) (3.44), (3.45).
:
- (3.46) (3.47). . , : .
. (3.49)
(3.49) (3.46),
. (3.50)
(3.46) (3.47) (, ). (3.50) , ,
. (3.51)
(3.50) (3.51) , . (3.51) :
.
, (3.46), .
15
. () . . . .
Y . , (: f X Y), , (. 4.1).
. 4.1
, ; f.
, , , . .
, . X . , .
( , ), :
|
|
1. , .
2.
, , :
3. ,
: , , .
, .
. ( ) f g , (. 4.2).
. 4.2
. , .
.
4.1. , . . , ,
.
u , .
, .
; (4.1)
(4.2)
(4.1) (4.2), , : , .t
, (. 4.3).
. 4.3
16