If the Lyapunov-candidate-function <math>V</math> is globally positive definite, radially unbounded, the equilibrium isolated and the time derivative of the Lyapunov-candidate-function is globally negative definite: | If the Lyapunov-candidate-function <math>V</math> is globally positive definite, radially unbounded, the equilibrium isolated and the time derivative of the Lyapunov-candidate-function is globally negative definite: |