Es sei
eine quasiaffine Varietät, und zwar sei
,
wobei
eine kommutative
-Algebra von endlichem Typ über einem algebraisch abgeschlossener Körper
sei. Es sei
eine weitere kommutative
-Algebra von endlichem Typ.
Dann gibt es eine natürliche Bijektion
-
wobei
den zu
gehörigen globalen Ringhomomorphismus bezeichnet.