根据定义lim(x->x0) [f(x)-(fx0)]/(x-x0) 存在, 那么f(x)与f(x0)在趋向极限的时候都应该有定义,这代表存在一个U(x0,δ),可以使x满足x∈U的时候f(x)都有定义。所以某个函数在x0可导,意味着它有一个邻域内所有点都有定义。这个结论是否正确