Sejam X, Y e Z subconjuntos próprios de IR, não-vazios.

Com respeito às afirmações:

(I) !$ X ∩ \left\{[Y ∩ (X ∪ Y)^c] ∪ [X ∪ (X^c ∩ Y^c] \right\} = X !$.

(II) Se !$ Z ⊂ X !$ então !$ (Z ∪ Y) ∪ [X ∪ (Z^c ∩ Y)] = X ∪ Y !$.

(III) Se então !$ Z^c ⊂ X !$.

temos que: