>>703
えっと今やろうとしていることは３ならば１を示すことなんですが
背理法でやろうとしてます。そこでまずＢ⊆Ｄでないｂ∈Ｂが存在すると
仮定して、さらにｆ（Ａ）⊆Ｂの状況を考えています。
この状況で矛盾を導くにはｆ（Ｃ）⊆Ｄでないｆの存在を言えばいいわけなんだと
思うのですが要は１の否定と３の前半を仮定すれば３の後半を満たさないｆが
存在するということを言いたいわけで１の否定と３の前半だけではＣに縛りがないから
証明できそうになさそうだと思うんです。
このあとどう展開すればいいんですか？