Montrer par contraposition les assertions suivantes, \(E\) étant un ensemble :
1
\(\forall A,B \in \mathcal{P}(E) \quad (A\cap B=A\cup B)\Rightarrow A=B\),
2
\(\forall A,B,C \in \mathcal{P}(E) \quad (A\cap B=A\cap C \text{ et } A\cup B=A\cup C)\Rightarrow B=C\).