>>672
１． B⊆D
２．　C⊆A
３．　f(A)⊆B ⇒ f(C)⊆D

1かつ2ならば
1より、 B⊆D
2より f(C)⊆f(A)
だから、
f(A) ⊆ Bならば
f(C)⊆f(A)⊆B⊆D
すなわちf(C)⊆Dとなる。