: . , , .
:
1. . , () . , , ( : A > B; : A ~ B).
2. . , , , , ( : > , > , > ); : ~ , > C, A > C; : A > B, B ~ C, A > C).
3. . , : - , ,
> .
. , (X Y), () (. 4.1).
, , (. 4.2). , , . . .
:
1. . . (MRS) (Y), , (X), :
.
, X, Y. , , . .
():
) , , (. 4.3, );
) , (. 4.3, ). MRS ( ).
2. . , , , . .
( ) , (. 4.4). , , : ~ . Y, , X. > . , > , ~ , > . , , , , , .
3. . , .
U , ,
(. 4.5). . 4 . II IV , I III . , III , , , I , X Y, . , , III , ,
I , ( ). , , , , II, IV , , .
4. . , ( ) (. 4.6).
, > ( Y, ). , ~ . , ~ . , ~ ~ , ~ . > ~ . , .