До сих пор, говоря об ординалистском подходе, мы считали, что возможность упорядочения потребителем наборов благ по степени их предпочтения и существование функции порядковой полезности есть нечто само собой разумеющееся. На самом деле, однако, такое утверждение требует от нас принятия некоторых предположений аксиоматического характера о свойствах отношений предпочтения и безразличия, не выходящих, впрочем, за рамки простого здравого смысла.

I. Предположение о сравнимости. Потребитель способен сравнить любые два возможные набора благ и в результате этого сравнения приходит к одному (и только одному) из следующих трех возможных заключений:

или X` > X`` (набор X` предпочтительнее, чем набор X``);
или X` < X`` (набор X` менее предпочтителен, чем набор X``);
или X` ~ X`` (набор X` столь же предпочтителен, как и набор X`` - потребитель безразличен в выборе между и ).

Заметим, что мы не даем здесь какого-либо специального определения понятиям "предпочтение" и "безразличие", считая, что смысл этих понятий достаточно ясен. Подчеркнем лишь, что безразличие в выборе ни в коем случае не означает "не могу сравнить". Потребитель безразличен в выборе между двумя равно желаемыми наборами, имеющими одинаковый уровень полезности.

Предположение I в целом кажется вполне разумным и не противоречащим действительности. Конечно, вкусы, а значит, и предпочтения потребителей могут изменяться во времени, однако это вовсе не исключает однозначной определенности предпочтений в каждый конкретный момент времени. Экономистам же в конечном счете для построения теории спроса важно определить, как изменяется потребительский выбор при изменении экономических переменных (цены и дохода), а вовсе не при изменении потребительских вкусов.

II. Предположение о транзитивности отношений предпочтения и безразличия. Если потребитель предпочитает набор X` набору X``, а набор X`` набору X```, то он предпочитает набор X` набору X```, т. е.

если X` > X`` и X`` > X```,
то X` > X```.

Точно так же

если X` > X`` и X`` ~ X```
или X` ~ X`` и X`` > X```,
то X` > X```,

а также

если X` ~ X`` и X`` ~ X```,
то X` ~ X```.

Вообще говоря, справедливость предположений I и II обеспечивает возможность упорядочения потребителем всего множества наборов благ и присвоения полезностям этих наборов численных значений.

III. Предположение о ненасыщаемости. Если набор X` содержит не меньшее количество единиц каждого блага, чем набор X``, то набор X` предпочтительнее или безразличен набору X``. Если же только набор X` содержит при этом больше единиц хотя бы одного блага, чем набор X``, то набор X` предпочтительнее набора X``.

Это предположение, соответствующее интуитивному представлению о том, что "больше - лучше, чем меньше", охватывает практически все случаи, представляющие интерес для общей теории. Ситуации типа "больше некуда" встречаются редко; к тому же потребитель всегда может отказаться от дополнительного количества блага, если оно не увеличивает полезности.

Теперь, когда после всех сделанных выше предположений мы принимаем допущение о возможности упорядочения потребителем всего множества наборов благ с точки зрения их предпочтительности и существования порядковой функции полезности, мы могли бы в принципе вести дальнейший анализ с помощью математических методов, рассматривая задачу потребительского выбора как стандартную оптимизационную задачу максимизации функции полезности при некотором ограничении (задаваемом доходом потребителя и ценами благ). Однако, как мы не раз уже убеждались, применение графических методов исследования в экономике приводит к более наглядным результатам, причем более доступным путем (по крайней мере для читателя, не имеющего специальной математической подготовки). Попробуем представить систему предпочтений потребителя с помощью широко распространенного и играющего в экономике весьма важную роль инструментария кривых безразличия.