Es seien ${\displaystyle {}X}$ und ${\displaystyle {}Z}$ quasiaffine Varietäten über einem algebraisch abgeschlossenen Körper ${\displaystyle {}K}$. Zu jeder offenen Teilmenge ${\displaystyle {}U\subseteq X}$ betrachten wir

${\displaystyle {}{\mathcal {F}}{\left(U\right)}:={\left\{\varphi :U\rightarrow Z\mid \varphi {\text{ ist ein Morphismus}}\right\}}\,.}$

Zeige, dass dies eine Garbe

${\displaystyle {}X}$