Ensembles algebre

[kousuke]

Soient A et B deux parties d'un un ensemble E
on considère l'equation A \bigcap{}X=B d'nconnue X \epsilon P (E)
1-montrer que si l'équation admet une solution alors nécessairement B est inclus dans A
2- resoudre l'équation dans ce cas
on raisonnera par analyse-synthese en remarquant que pour tout X \epsilon P (E) , X U X (barre) = E

[pascal16]

raisonnement par l'absurde :
soit x un élément de B qui ne fait pas parti de A
Pour tout ensemble X vérifiant l'équation, x ne fait pas parti de A inter X car x n'appartient à A
donc x ne fait pas parti de B car B=A inter X, c'est absurde

on considérera que l'ensemble vide fait parti de A

je pige pas l'aide donnée.
on suppose que B est inclus dans A.
que peut-t-on dire de toute partie de B vis à vis de l'équation ?