Affine Varietäten/K-Spektren als Funktor/Fakt

Es sei ${\displaystyle {}K}$ ein Körper und seien ${\displaystyle {}R}$ und ${\displaystyle {}S}$ kommutative ${\displaystyle {}K}$-Algebren von endlichem Typ. Es sei ${\displaystyle {}\varphi \colon R\rightarrow S}$ ein ${\displaystyle {}K}$-Algebrahomomorphismus.

Dann induziert dies eine Abbildung

Diese Abbildung ist stetig bezüglich der Zariski-Topologie.