1: \begin{definition}  Set $I=[0,\infty)$.

2:   Suppose $(A,ds_A)$ is a Euclidean manifold and $(I,dt)$ is a complete Riemannian metric on $I$.

3:  The metric $ds^2=ds_A^2+dt^2$ on $A\times I$ is called a {\em product Euclidean structure}. 

4:  Given $c>0$ the metric $c\cdot ds_A^2+c^2 dt^2$ is called a {\em horoscaling} of  $ds^2$. A diffeomorphism

5:  $f:A\times I\to M$ is a {\em horoscaling} if the pullback of the metric on $M$ is a horoscaling of the metric on $A\times I$. A horofunction metric on $\Omega$ is a horoscaling of the metric $\beta|\Omega$ in Theorem \ref{betathm}.

6:   \end{definition}

7: