Definition It says that if a function f(t,y) is Lipschitz continuous, then the initial value problem y′=f(t,y),y(t0)=y0 has a locally unique solution.