\{\emptyset\} \cup Y = Y = \{\emptyset\} \cap X = \{\emptyset\}" alt="\{\emptyset\} \subseteq E => \{\emptyset\} \cup Y = Y = \{\emptyset\} \cap X = \{\emptyset\}" align="absmiddle" class="latex-formula">
Таким образом, Y является пустым множеством.
С другой стороны,
Тогда X = E
В общем случае