No diagrama lógico dado abaixo, a representa os
elementos que pertencem apenas ao conjunto A; b
representa os elementos que pertencem apenas ao
conjunto B; e x representa os elementos que pertencem a A e a B.
Sobre os elementos representados por x podemos
usar as proposições categóricas "Algum A é B" e "Algum
B é A".