Дано множество U из 9 элементов.
Сколькими способами из него можно выбрать подмножества A, B, C,
чтобы выполнялось:


Я рассмотрел варианты, когда мощность множества С равна 7 или 8, препод сказал, что неверно..
Вот мое решение:
Допустим,

. Тогда из 3го условия:

, что противоречит 2му условию, т. к.

.
Также из 3го условия

, т. к.

.
Следовательно, |C| = 8 или |C| = 7.
Рассмотрим первый вариант, когда |C| = 8.
Если |A| = 2, причем

, то три исходных условия выполняются при

, т.е, когда один из двух элементов A не принадлежит множествам B, C, а второй является частью множества B.
Таких вариантов всего

.
(9 вариантов выбора элемента А, не входящего в В, С; 8 вариантов выбора из оставшихся элементов второго элемента А; 1 вариант, когда элементов В больше нет и

вариантов вхождения или невхождения оставшихся элементов С в множество В.)
Следующий вариант при |C| = 8: |A| = 1,

B не принадлежит C.
Таких вариантов всего 72 (9 вариантов выбора элемента В, 8 вариантов выбора элемента A).
Далее осталось рассмотреть варианты при |C| = 7.
В этом случае оставшиеся 2 элемента принадлежат множествам A, B,

, |A| = 1 и |B| = 2 либо |A| = 2 и |B| = 1. Всего таких вариантов

Итого вариантов: 9288 + 72 + 144 = 9504.