Considere as seguintes definições de conjuntos, feitas a partir de um conjunto de empresas, E, não vazio.

X = conjunto das empresas de E tais que “se a empresa não entrega o que promete, algum de seus clientes estará insatisfeito”;
A = conjunto das empresas de E tais que “a empresa não entrega o que promete”;
B = conjunto das empresas de E tais que “algum cliente da empresa está insatisfeito”