folgende Aussage aus der Algebra:

Es sei K ein algebraisch abgeschlossener Körper und I ⊂ K[x₁, …, x_n] ein Ideal. Sei weiterhin\begin{eqnarray}V(I)=\{x\in {K}^{n}|f(x)=0\space f{\ddot {u}} {r}\space alle\space f\in I\}.\end{eqnarray}

Wenn für ein g ∈ K[x₁, …, x_n] gilt, daß g(x) = 0 für alle x ∈ V(I), dann ist g im Radikal des Ideals I.

Siehe hierzu auch algebraische Menge.