∅≠A⊂R, f:A→R fonksiyon, a∈D(A) ve L∈R olmak üzere
limx→af(x)=L:⇔(∀ϵ>0)(∃δ>0)(∀x∈A)(0<∣x−a∣<δ→∣f(x)−L∣<ϵ)O halde
limx→af(x)≠L:⇔(∃ϵ>0)(∀δ>0)(∃x∈A)(0<∣x−a∣<δ∧∣f(x)−L∣≥ϵ) anlamına gelir. Burada D(A), A kümesinin türev kümesi yani A kümesinin tüm yığılma noktalarının oluşturduğu kümedir.