任意の実数aに対して、lim_[x to a] f(x) = f(a) が成り立つ。

任意の実数aに対して、lim_[x to a] ( f(x)-f(a) )/(x-a) が存在。