Menge von Polynomen f₁, …, f_r ∈ K[x₁, …, x_n] mit folgenden Eigenschaften:

1. \({f}_{k}\in K[{x}_{1},\ldots,{x}_{{i}_{k}}]\backslash K[{x}_{1},\ldots,{x}_{{i}_{k-1}}]\) für 1 ≤ i₁ < i₂ < … < i_r = n, k = 1, …, r.
2. Für i = 2, …, r ist f_i reduziert bezüglich {f₁, …, f_i−1}, d.h., es ist f_i = prem(f_i|{f₁, …, f_i−1}), der Pseudorest von f_i bezüglich {f₁, …, f_i−1} bei der Pseudodivision.