Lyapunov condition