В математике эпсилон-дельта определение предела является формализацией понятия предела. На языке логики первого порядка это определение гласит, что функция f(x) имеет предел l в точке x=a тогда и только тогда, когда для каждого ε > 0 существует δ > 0 такое, что для всех x при 0 < |x — a| < δ имеем |f(x) — l| < ε.
Другими словами, функция f(x) приближается к значению l по мере приближения x к значению a. Это означает, что при любой малой погрешности или «допуске» ɛ существует некоторый соответствующий «диапазон» или «окно» δ (в зависимости от ɛ), в который должны попадать входные значения f(x), чтобы выходные значения находились в пределах ɛ единиц от l.