1: \begin{definition}\label{def:syntactic-definability}

2: From now on, when we write that $\varphi(\tvar{x})$ is a $T$-definable set, we will mean that $\varphi(\tvar{x})$ satisfies the conditions of Theorem \ref{thm:syntactic-definability}, and thus defines the distance to its zero-set in any model.

3: \end{definition}

4: