Sejam P, Q e R conjuntos não vazios quaisquer para os quais são verdadeiras as seguintes premissas:

premissa 1: P ∩ Q = ⌀

premissa 2: Q !$ \subset !$ R

Se a notação !$ \bar{\text{X}} !$ indica o complementar do conjunto X, então tem-se que