Sei ${\displaystyle {}K}$ ein algebraisch abgeschlossener Körper und seien ${\displaystyle {}R}$ und ${\displaystyle {}S}$ kommutative ${\displaystyle {}K}$-Algebren vom endlichen Typ mit zugehörigen ${\displaystyle {}K}$-Spektren ${\displaystyle {}X=K\!\!-\!\operatorname {Spek} \,{\left(R\right)}}$ und ${\displaystyle {}Y=K\!\!-\!\operatorname {Spek} \,{\left(S\right)}}$.

Dann ist die durch einen ${\displaystyle {}K}$-Algebrahomomorphismus ${\displaystyle {}\varphi \colon R\rightarrow S}$ induzierte Spektrumsabbildung

ein Morphismus.