{\displaystyle \forall A\,\forall B\,(\exists X\,(X\in A)\implies [\forall Y\,(Y\in A\iff Y\in B)\implies A=B]\,).}