Lemma 3.2

$$A=B⟺(A\subseteq B)\wedge (B\subseteq A).$$