Element 'Lyapunov function'