Sejam A e B dois conjuntos não vazios tais que A ≠ B, representados pelo diagrama de Venn abaixo:
Neste caso, sobre um elemento genérico x, pode-se afirmar que necessariamente:
Escolha uma opção:
a.
se x ∉ B, então x ∈ A
b.
se x ∈ A, então x ∉ B
c.
se x ∉ A, então x ∉ B
d.
se x ∈ B, então x ∈ A
e.
se x ∉ B, então x ∉ A