(⇒): f, a'da sürekli ve
ϵ>0 olsun.
ϵ>0f, a'da sürekli}⇒(∃δ>0)(A∩(a−δ,a+δ)⊆f−1[(f(a)−ϵ,f(a)+ϵ)])
⇒(∃δ>0)(A∩[(a−δ,a)∪(a,a+δ)]⊆f−1[(f(a)−ϵ,f(a)+ϵ)]).
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
(⇐): limx→af(x)=f(a) ve ϵ>0 olsun.
ϵ>0limx→af(x)=f(a)}⇒(∃δ>0)(A∩[(a−δ,a)∪(a,a+δ)]⊆f−1[(f(a)−ϵ,f(a)+ϵ)])
⇒(∃δ>0)(A∩(a−δ,a+δ)⊆f−1[(f(a)−ϵ,f(a)+ϵ)]).