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

Halm der Strukturgarbe

Es sei $(V,𝒪)$ eine quasiaffine Varietät und sei $F$ ein topologischer Filter in $V$. Dann nennt man

${𝒪}_F=\mathrm{colim}{}_{U\in F}\mathrm{\Gamma }(U,𝒪)$

den Halm von $𝒪$ in $F$.