1: \begin{definition}

2:   Let $\tilde{\lambda}$ be a smooth $\Real$-valued functions

3:   satisfying the conditions of Theorem~\ref{thm:rel_iff}. The map

4:   $\lambda(x) \coloneqq \tilde{\lambda} \circ h(x)$ is called a local

5:   observable transverse output of~\eqref{eq:system},~\eqref{eq:output}

6:   with respect to $\Gamma^\star$.

7: \end{definition}

8: