∀ε∃δ:0<|x-x_0|<δ⇒|f(x)-f(x_0)|<ε