aがどんな集合かが問題なら、{}を空集合として
b⊆{{}}->(b={}∨b={{}})
なら証明できますか？