A não existe elemento do conjunto A que seja elemento de outros dois desses conjuntos.
B não há elemento do conjunto A que não seja elemento do conjunto D.
C os elementos do conjunto D, que não são elementos do conjunto C, são elementos do conjunto A ou do conjunto B.
D os elementos do conjunto B, que não são elementos do conjunto A, são elementos do conjunto C ou do conjunto D.
E todos os elementos do conjunto C, que não são elementos do conjunto A, são elementos do conjunto D.