Zu einer Prägarbe F {\displaystyle {}{\mathcal {F}}} auf einem topologischen Raum X {\displaystyle {}X} heißt eine Prägarbe G {\displaystyle {}{\mathcal {G}}} eine Unterprägarbe von F {\displaystyle {}{\mathcal {F}}} , wenn G ( U ) ⊆ F ( U ) {\displaystyle {}{\mathcal {G}}{\left(U\right)}\subseteq {\mathcal {F}}{\left(U\right)}} für jede offene Teilmenge U ⊆ X {\displaystyle {}U\subseteq X} ist.
