Es sei X {\displaystyle {}X} ein topologischer Raum, G {\displaystyle {}{\mathcal {G}}} eine Garbe auf X {\displaystyle {}X} und F ⊆ G {\displaystyle {}{\mathcal {F}}\subseteq {\mathcal {G}}} eine Untergarbe. Es sei t ∈ Γ ( X , G ) {\displaystyle {}t\in \Gamma {\left(X,{\mathcal {G}}\right)}} mit t P ∈ F P {\displaystyle {}t_{P}\in {\mathcal {F}}_{P}} für alle P ∈ X {\displaystyle {}P\in X} . Zeige
.