条件a,bを満たす集合それぞれA,Bとしたら
「a⇔b」⇔「A=B」が成立することの証明
（自己言及とかが入ってるんで少し変だけど）
ってどうすればいいですか？