A todos os elementos de A, que não são elementos de B, são elementos de C ou de D.
B não há elemento de B, que seja apenas elemento de B e de D ou apenas elemento de B ou de C.
C não há elemento de A, que seja apenas elemento de A e de D.
D qualquer elemento de C que não seja elemento de D, é também elemento de A.
E qualquer elemento de D, que é também elemento de C é também elemento de A.