" " - , ( ) , . . :
, ( , . .);
, () .
. . , , , .
. " " . .
Nom. , . X, Y Z, : (X#Y), (X#Z), (X=Z), (X>Y), (X<Z), (X+Z) . , , , . .
Ord. - - . , , . : ( ), . .; (= #), (> <). .
Int & Rel. , . , , - . . . , (36 12) (28 4). 0 , 0 0 ().
, , , " , 17 ". ( P(X) X). , Nom, Ord, Int Rel.
|
|
, , . , , ( ) .
, - , , .