Considere os conjuntos A, B, C ⊆ U e denote por X c o complementar de X em relação a U. Da condição A ∩ B ⊆ C c, segue-se que