Sejam X={1,2,3,4,5}, Y=P(X)\⌀, onde P(X) é o conjunto das partes de X, ⌀ é o conjunto vazio e o símbolo \ denota que Y é a diferença entre P(X) e ⌀.

Se utilizarmos n cores, n>0, para pintar os elementos de Y, qual é o maior valor de n para que sempre existam !$ A,\ B\ ∈\ Y !$ , com A ≠ B de tal forma que A, B e !$ A\ ∪\ B !$ possuam a mesma cor?