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 elemento de três conjuntos ao mesmo tempo.
C todos os elementos de C, que não são elementos apenas de C, ou são também elementos de B ou são também elementos de D.
D há elemento de B que seja elemento de outros três conjuntos além do B.
E qualquer elemento de D, que não é elemento de B, é também elemento de C ou elemento de A.