Deux techniques standard : double inclusion ou équivalence des appartenances.
Choisissez une approche :
En prouvant la double inclusion
Établir A=BA = BA=B en démontrant séparément A⊂BA \subset BA⊂B et B⊂AB \subset AB⊂A.
En raisonnant par équivalence sur l'appartenance
Établir A=BA = BA=B en montrant que x∈A⇔x∈Bx \in A \Leftrightarrow x \in Bx∈A⇔x∈B pour tout xxx, par une chaîne d'équivalences.