Para resolver esse problema, precisamos encontrar quatro conjuntos , , , e que satisfaçam as seguintes condições:
e : Isso significa que há pelo menos um elemento em que não está em e pelo menos um elemento em que não está em . Logo, e têm que ter elementos exclusivos.
( (A \cup B) \subset C ): Isso significa que todos os elementos que estão em ou (ou em ambos) devem estar em .
: Isso significa que todos os elementos de devem estar tanto em quanto em .
Podemos criar conjuntos que satisfaçam essas condições com o seguinte exemplo:
Vamos verificar se esses conjuntos satisfazem as condições dadas:
porque mas . E porque mas .
, e .
, e .
Assim, os conjuntos , , e satisfazem todas as condições do problema.