Кривая безразличия

Аксиома транзитивности

Аксиома рефлексивности

Аксиома полной сравнимости .

-любые 2 набора сравнимы между собой

()[ X≽Y Y≽X]

(()[ X≽X]

X≽Y , Y≽Z => X≽Z

В жизни это не всегда лучше

X∼Y ó[ X≽Y ⋀ Y≽X]

1)рефлексивно X∼X ó X≽X ⋀ X≽X

2)транзитивно X∼Y, Y∼Z=> X∼Z ( X≽Y⋀ Y≽X ⋀ Y≽Z ⋀ Z≽Y => X≽Z⋀ Z≽X)

3)симметрично X∼Y ó Y∼X (X∼Y⋀ Y≽Xó Y≽X⋀ X≽Y)

Так как есть отношения эквивалентности, то все наборы по отношению эквивалентности разделяются на непересекающиеся классы

Если изобразить наборы одного класса ,то это и будет кривая безразличия(множество всех эквивалентных между собой наборов)