endliche Vereinigungvon Teilmengen des \({{\mathbb{R}}}^{n}\) von der Form \begin{eqnarray}\begin{array}{l}S({f}_{1},\ldots, {f}_{p};{g}_{1},\ldots, {g}_{q})\\\quad =\{x\in {{\mathbb{R}}}^{n}|{f}_{1}(x)=\cdots ={f}_{p}(x)=0,\\\qquad {g}_{1}(x)\lt 0,\ldots, {g}_{q}(x)\lt 0\}\end{array}\end{eqnarray} mit Polynomen f₁,…,f_q und g₁,…,g_q aus \({\mathbb{R}}[{X}_{1},\mathrm{\ldots},{X}_{n}]\).