A existe um elemento de C que não é elemento de B e é elemento de A.
B todo elemento de A que é elemento B, não é elemento de C.
C se algum elemento de C não é elemento de A, então é elemento de B.
D existe um elemento de C que pertence a B e não pertence a A.
E todo elemento de A é também elemento de B.