1: \begin{definition}

2: Let $X$ be a definable set. The \emph{Kolchin polynomial of $X$} is defined by

3: \begin{displaymath}

4: \omega_X=\sup\left\{ \omega_{a/F}:\, a\in X\right\},

5: \end{displaymath}

6: where $F$ is any $\D$-field over which $X$ is defined (the fact that this does not depend on the choice of $F$ is a consequence, for example, of Theorem 4.3.10 of \cite{Mc}). In Lemma \ref{max} below we will see that $\omega_X=\omega_{a/F}$ for some $a\in X$. We define the $\D$-type of $X$ and its typical $\D$-dimension in the obvious way. Also, $X$ is said to be \emph{finite dimensional} if $\D$-type$(X)=0$.

7: \end{definition}

8: