1- AnX=B ==> BcA
BcA ==> AnB=B ==> B solution
La CNS est alors BcA
2- On suppose BcA.
AnX=B ==> BcX et X peut contenir des éléments de E\A
==> X=BuY avec YcE\A
Inversement, soit YcE\A ==> An(BuY)=(AnB)u(AnY)=B
Conclusion: S={BuY/ Y€P(E\A)} ==> si E est fini, Card(S)=2^Card(E\A)