endliche Teilmenge eines Ideals mit Zusatzeigenschaft: Eine endliche Teilmenge G eines Ideals I im Polynomenring K[x₁,…,x_n] über einem Körper K heißt charakteristische Menge von I, wenn für alle h ∈ I der Rest von h bei der Pseudodivision durch G Null ist, prem(h|G) = 0.