1: \begin{definition}[Relaxed Lyapunov Function] \

2: We refer to the function $V$ in Theorem \ref{LyaSta}

3: as a {\itshape relaxed Lyapunov function}, denoted by

4: RLF.

5: \end{definition}