Se P, M e N são conjuntos e x é tal que x ∉ P ∪ M ∪ N, então