1: \begin{definition}\rm

2: We shall call the domain $D_L$ in Theorem \ref{thm-Lyapunov-map} {\em a Lyapunov domain} (for $\psi$). 

3: \end{definition}

4: