No diagrama lógico a seguir, há elementos em todos os subconjuntos. Dessa maneira, é correto afirmar que

há elementos de B que são apenas elementos de B.

qualquer elemento de D que não seja elemento de A é elemento de B ou de C.

existe elemento de B que é apenas elemento de B e de A.

não há elemento que seja apenas elemento de A e de B e de C.

algum elemento de C que é elemento de D não é elemento de A e de B.