$$a = b \iff (\forall x: x\in a \iff x\in b)$$