Exercise 108.15.2. Show the following

1. the complement of a constructible set is a constructible set,

2. a finite union of constructible sets is a constructible set,

3. a finite intersection of constructible sets is a constructible set, and

4. any constructible set $E$ can be written as a finite disjoint union $E = \coprod E_ i$ with each $E_ i$ of the form $Z \cap \{ f \not= 0\}$ where $Z$ is an algebraic set and $f$ is a polynomial.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).