Es sei ein Körper und sei eine endlich erzeugte kommutative -Algebra mit -Spektrum . Es sei eine Restklassendarstellung von mit dem zugehörigen Restklassenhomomorphismus
-
und dem Nullstellengebilde
.
Dann stiftet die Abbildung
-
eine Bijektion zwischen und , die bezüglich der Zariski-Topologie ein Homöomorphismus ist.