Die Verträglichkeitsbedingung bedeutet, dass zu offenen Mengen
das Diagramm
-
kommutiert. Die Strukturgarbe ist insbesondere ein -Modul. Ein
-Modul ist insbesondere eine Garbe von abelschen Gruppen.
Es sei ein
beringter Raum
und ein
-Modul.
Eine
Untergarbe
derart, dass für jede offene Teilmenge
ein
-Untermodul
von ist, heißt
-Untermodul
von .