The Stacks project

Proof. If $I = (f_1, \ldots , f_ m)$, then we see that $V(I)$ is the complement of $\bigcup D(f_ i)$, see Lemma 10.17.2. Hence it is constructible, by Lemma 10.29.1. Denote the map $R \to S$ by $f \mapsto \overline{f}$. We have to show that if $\overline{U}, \overline{V}$ are retrocompact opens of $\mathop{\mathrm{Spec}}(S)$, then the image of $\overline{U} \cap \overline{V}^ c$ in $\mathop{\mathrm{Spec}}(R)$ is constructible. By Lemma 10.29.1 we may write $\overline{U} = \bigcup D(\overline{g_ i})$. Setting $U = \bigcup D({g_ i})$ we see $\overline{U}$ has image $U \cap V(I)$ which is constructible in $\mathop{\mathrm{Spec}}(R)$. Similarly the image of $\overline{V}$ equals $V \cap V(I)$ for some retrocompact open $V$ of $\mathop{\mathrm{Spec}}(R)$. Hence the image of $\overline{U} \cap \overline{V}^ c$ equals $U \cap V(I) \cap V^ c$ as desired. $\square$