, . , .
, , , . . . , , . .12.1.
. , , . , .12.1, . , , , , S:X→Y, - , Y - . . 12.2, , Y.
. "" U, S "" . .12.3 .12.4 .
"" , . . K1...n, , .
, . .12.5, .
. - .
:
, ;
;
;
.
S , , . , . . . . .
: |
, . , . , , , . . . , , . .12.1. . , , . , .12.1, . , , , , S:X→Y, - , Y - . . 12.2, , Y. . "" U, S "" . .12.3 .12.4 . "" , . . K1...n, , . , . .12.5, . . - . : , ; ; ; . S , , . , . . . . .
: 2017-02-28; !; : 484 | : : , , . , . |