>>239のつづき

これは
𝑥∈𝐵𝑋(𝑥0,𝛿) ⇒ 𝑓(𝑥)∈𝐵𝑌(𝑓(𝑥0),𝜀)
すなわち
𝑓(𝐵𝑋(𝑥0,𝛿))⊂𝐵𝑌(𝑓(𝑥0),𝜀)⊂𝑉
を意味する。