順序対(a,b)を集合{{a},{a,b}}で定義するとき、
{{a},{a,b}}＝{{a'},{a',b'}}である為の条件は
a＝a',b＝b'であることを示せ。a＝bかa≠bで場合分けせよ。

どなたかお願いします