Considere o diagrama lógico a seguir, no qual há elementos em todos os seus subconjunto...

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

os elementos de B que são elementos de A não são elementos de C.

há pelo menos um elemento de C que é elemento de A e não é elemento de B.

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

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