3.14.1
:
1.
2.
, , , ( , , .) (, , .).
( , ) , X
(1)
:
a. [ X + Y ] = [ X ] + [ Y ], . . . ;
b.
[ X ] = [ X ],
. . ;
c. :
[ ] = ();
d. : ≥ Y,
[ X ] ≥ [ Y ];
e. X Y :
[ X∙Y ] = [ X ] ∙ [ Y ],
. . . . , , .
X , . ,
{ X = } = max { X = }. (2)
k
, , . , ( ) ().
X ,
{ < } = { ≥ } F (x) = . (3)
, , , .