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