. , , .. , , . '''' ''-'', '''' .. , , .
. .
, , , , .
, , . Î , .
. , .
, . , .
, .
, , Í . , (.. , ).
.
. = È, , . (. . 1).
( ) : i , , i.
. = Ç, , , (. . 2). ( ) i , i.
, ..
È = È , ( È) È = È ( È ),
Ç = Ç , ( Ç ) Ç = Ç ( Ç ).
, :
( È ) Ç = ( Ç ) È ( Ç ), (1)
( Ç ) È = ( È ) Ç ( È ). (2)
. , (. 3).
|
|
.
N .
. , f, N, x Î y Î N. , N .
, .
, b = f () N f. , b Î N, ( ) b f 1(b).
; { f (): Î } f (), Î , f (). N f 1(), : f 1() , .
. , f N, f () = N; . , .. f () Ì N, , f N. 1 2 y 1 = f (x 1) y 2 = f (x 2) , f . f: ̮N, , N.