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