Exo des ensembles

A et B et C sont des parties dans E Tq B c A c C
Résourdre dans P(E)

X n (E\A)=E\C ==> E\C c X et comme E\C c E\A ==> X=(E\C)u Y avec Y c A

A n (E\X)=B ==> B c E\X ==> X c E\B et comme B c A ==> X=(E\B)n Y avec Y c E\A

sauf erreur