>>710
それは違うな
いかなる fに対しても
ｆ（Ａ）⊆Ｂ　⇒ ｆ（Ｃ）⊆Ｄ
が成り立つように、A,B,C,Dが配置されているというのが3の条件。

Ｂ⊆Ｄでないｂ∈Ｂが存在するとする。

a∈Aを一つとる。
ある写像 f(x)が
f(a) = cであるとする。
g(x) = f(x) (x≠a)
g(a) = b
となる g(x)を考えれば、これは
g(a)∈Bだけど、Dには含まれない。
つまり、g(x)は3を満たさない。