Topologischer Raum/Garbe/Ausbreitungsraum/Schnitt/Fakt

Es sei ${\displaystyle {}p\colon {\mathcal {G}}^{\operatorname {et} }\rightarrow X}$ der Ausbreitungsraum zu einer Garbe ${\displaystyle {}{\mathcal {G}}}$ auf einem topologischen Raum ${\displaystyle {}X}$.

Dann stimmt zu einer offenen Menge ${\displaystyle {}U\subseteq X}$ die Menge der stetigen Schnitte von ${\displaystyle {}U}$ in ${\displaystyle {}p^{-1}(U)}$ in natürlicher Weise mit ${\displaystyle {}\Gamma {\left(U,{\mathcal {G}}\right)}}$ überein.