1: \begin{definition}

2:     A regular map $f\colon X\to Y$ of $C$-$\Sigma_1$-algebraic varieties is a map given by

3:     difference polynomials in coordinates (for a general definition see~\cite[Section~4.6]{Dima}, in particular, Theorem~40 there).

4: \end{definition}

5: