Пока остальные участники переводят дух, я за всех порадуюсь: наконец оба вывода верны! Вот ещё бы этот самый булеан - хоть для первого множества, хоть для второго (третьего, четвёртого) записать верно. Сможете?
Я попробую выполнить ваше пожелание немного по другому.
Пусть множество
, тогда его булеан будет
.
Для множества
булеан будет такой
. Вроде так, если я все правильно понял.
А какую смысловую нагрузку несут двойние скобки
? Одна пара скобок говорит, что данное множество есть элемент другого множества. Опять же, если я правильно понял.
Если использовать аналогию с коробками, то получаются вложенные друг в друга коробки. Не проще эти вложенные коробки представить как одну, "очень хитрую", коробку?