Quasiaffine Varietät/Topologischer Filter/Halm der Strukturgarbe/Definition

Halm der Strukturgarbe

Es sei ${}(V,{\mathcal {O}})$ eine quasiaffine Varietät und sei ${}F$ ein topologischer Filter in ${}V$. Dann nennt man

${}{\mathcal {O}}_{F}=\operatorname {colim} \,_{U\in F}\Gamma (U,{\mathcal {O}})\,$

den Halm von ${}{\mathcal {O}}$ in ${}F$.