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 a, podemos
usar a proposição categórica "Todo A é B".