A todo elemento de A, que é elemento de D, é também elemento de B.
B os elementos de B, que não são elementos de A, são elementos de D.
C os elementos de C, que não são elementos de D, são elementos de A.
D os elementos de D, que não são elementos de B, são elementos de A ou de C.
E os elementos de B, que não são elementos de C, são elementos de A.