Первое множество состоит из только тех , которые принадлежат ровно одному из множеств или . Поэтому всякий из этого множества принадлежит либо только (то есть множеству ), либо только (то есть множеству ). Следовательно, .
Второе множество состоит из тех , для которых либо , либо . Отсюда следует, что . Если при этом , то он не принадлежит ни одному из указанных множеств, противоречие, потому , значит, , откуда .
Первое множество состоит из только тех , которые принадлежат ровно одному из множеств или . Поэтому всякий из этого множества принадлежит либо только (то есть множеству ), либо только (то есть множеству ). Следовательно, .
Второе множество состоит из тех , для которых либо , либо . Отсюда следует, что . Если при этом , то он не принадлежит ни одному из указанных множеств, противоречие, потому , значит, , откуда .