eine RingerweiterungS ⊃ R, für die folgendes gilt:

Es existieren Elemente x₁, …, x_n ∈ S so, daß \begin{eqnarray}R[{x}_{1},\ldots, {x}_{n}]=S,\end{eqnarray} d. h. jedes Element in S ist ein Polynom in x₁, …, x_n mit Koeffizienten aus R.