1: \begin{definition}

2: 

3: \normalfont

4: 

5: \label{definition suitable parameter}

6: 

7: Suppose that $(\ca{X},\ca{T})$ is a recursively presented Polish space, $d$ is a suitable distance function and that $A$ is a \del \ subset of \ca{X}.

8: 

9: (1) We say that $\ep \in \ca{N}$ is a \emph{good parameter for $A$} if all conclusions of Theorem \ref{theorem main} are satisfied by taking $\ep_A$ as $\ep$. The latter means that there is a Polish topology $\ca{T}_{\infty}$ on \ca{X} which extends \ca{T}; the space $(\ca{X},\ca{T}_{\infty})$ is $\ep$-recursively presented; the set $A$ is $\Delta^0_1$ in $(\ca{X},d_{\infty})$, where $d_{\infty}$ is a suitable distance function; every $B$ which is a $\del(\alpha)$ subset of $(\ca{X},d)$ is a $\del(\ep,\alpha)$ subset of $(\ca{X},d_{\infty})$ and every $B$ which is a $\del(\ep,\alpha)$ subset of $(\ca{X},d_{\infty})$ is a $\del(\alpha,\ep)$ subset of $(\ca{X})$.

10: 

11: (2) We say that \emph{the class \del \ is dense in $A$} if whenever some $V \in \ca{T}$ intersects $A$ then $V$ intersects $A$ in \del \ point of $(\ca{X},d)$. \end{definition}