つづき

上記４）をまとめると、関数が不連続でギャップｄを持つとき
「ｙ軸の方から見て、ギャップｄを意識してεを小さくして、
ｄに嵌まる開集合（ｙ - ε，ｙ + ε）の逆像が、開集合ではない」
とできる

　もっと俗に言えば
「不連続なら、ｙの方から見る像を拡大する（εを小さくする）と、かならずギャップｄが見える」と
　それが、
「ｙ軸の方から、逆像で見る」ことの意義だろうと

で、これを”ε-δ”に翻訳すると、
まずｙ軸の方でεを決める。
その逆像として、（ ａ - δ，ａ - δ）が取れるかどうかを見る。
取れなければ、アウト
εを任意に小さくしても、必ず（ ａ - δ，ａ - δ）が取れるならＯＫ（連続）だと
（だから、先に”任意のεありき”なのだと）

以上です