Proof. In fact, if a is a limit point of E, then the base E ∋ x -> a of deleted
neighborhoods UoE{a) — UE{a) a of a is defined.
We recall that UE(a) = E ∩ U(a).
If f is continuous at a, then, by finding a neighborhood UE(a) for
the neighborhood V(f(a)) such that f(UE{a)) ⊂ V(f{a)), we will simultaneously
have f(UE(a)) ⊂ V(f(a)). By definition of limit, therefore,
lim f(x) = f(a).
E∋x->a
Conversely, if we know that lim f(x) = f(a) , then, given a neighborhood
E ∋ x—>a
V{f(a)), we find a deleted neighborhood UE(a) such that f(UE{a)) ⊂
v(f(a)). But since f(a) ∈ V(UE(a)), we then have also f(UE(a)) ⊂ V^(f(a)).
By Definition 1 this means that f is continuous at a ∈ E.