Zu einer Prägarbe ${\displaystyle {}{\mathcal {F}}}$ auf einem topologischen Raum ${\displaystyle {}X}$ und einem Punkt ${\displaystyle {}P\in X}$ nennt man

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

den Halm der Prägarbe im Punkt ${\displaystyle {}P}$.