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

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

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

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

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

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

такое, что

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

.
Верно?