Пусть

, а значит

Пусть
х - произвольная точка из множества
Х. Тогда по определению объединения множеств

или

. Далее по определению пересечения множеств

или

. Таким образом для любого

, выполняется

, т.е

. Т.к

и

, то по определению равенства множеств

Верно ли я это сделал?