Ring R mit folgender Eigenschaft. Es sei I ein Ideal in R. R heißt komplett bezüglich I (oder I–adisch komplett), wenn jede Cauchy–Folge {a v} v∈ℕ, a v ∈ R, bezüglich I in R konvergiert.

Ist X ein eigentliches Schema über einen Noetherschen Ring A und I ein Ideal in A so, daß A I-adisch komplett ist, und Y ⊂ X Urbild von Spec (A/I) ⊂ Spec (A), so ist der Funktor ...