![image](https://tex.z-dn.net/?f=%5C%7B%5Cemptyset%5C%7D+%5Csubseteq+E+%3D%3E+%5C%7B%5Cemptyset%5C%7D+%5Ccup+Y+%3D+Y+%3D+%5C%7B%5Cemptyset%5C%7D+%5Ccap+X+%3D+%5C%7B%5Cemptyset%5C%7D)
\{\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
В общем случае