Es sei F {\displaystyle {}{\mathcal {F}}} eine Garbe auf einem topologischen Raum X {\displaystyle {}X} . Es seien Schnitte s , t ∈ F ( X ) {\displaystyle {}s,t\in {\mathcal {F}}{\left(X\right)}} gegeben, die s P = t P {\displaystyle {}s_{P}=t_{P}} in den Halmen F P {\displaystyle {}{\mathcal {F}}_{P}} für alle Punkte P ∈ X {\displaystyle {}P\in X} erfüllen.
Dann ist s = t {\displaystyle {}s=t} .
