Definition 12.2 (Constructible). Let $F$ be a field. We say that $X\subseteq F^n$ is constructible if it is a boolean combination of subsets of $F^n$ defined by $p(x_1,\dots ,x_n)=0$ for $p(\overline{x})\in F[\overline{x}]$.