Considere que cada uma das cinco regiões do diagrama lógico...

existe um elemento de C que não é elemento de B e é elemento de A.

todo elemento de A que é elemento B, não é elemento de C.

se algum elemento de C não é elemento de A, então é elemento de B.

existe um elemento de C que pertence a B e não pertence a A.

todo elemento de A é também elemento de B.