Понятно. Значит да.
Есть такая задача: пусть 

 -- произвольное множество. 

 -- множество всех его подмножеств. Доказать, что операция 

 симметрической разности на множестве 

 обладает свойством: для любого подмножества 

 существует подмножество 

 такое, что 

.
Ответ, да существует, т.к. в этом случае 

.
Верно?