質問: {} ならば a⊆b である({}は空集合)
回答: たとえば、(1)なら、 「xがaの元のとき、xはbの元でもある」 がいえれば、結論が示せますよね。 xがaの元とすると、 aはa∪bに含まれるから、xはa∪bにも含まれる。 ここで、仮定より、xはbに含まれることがわかるから、 (1)が示せたことになります。 他も同様に考えればできるはずですよ。