Es sei ( X , O X ) {\displaystyle {}(X,{\mathcal {O}}_{X})} ein beringter Raum und M {\displaystyle {}{\mathcal {M}}} ein O X {\displaystyle {}{\mathcal {O}}_{X}} -Modul. Eine Untergarbe N ⊆ M {\displaystyle {}{\mathcal {N}}\subseteq {\mathcal {M}}} derart, dass Γ ( U , N ) {\displaystyle {}\Gamma {\left(U,{\mathcal {N}}\right)}} für jede offene Teilmenge U ⊆ X {\displaystyle {}U\subseteq X} ein Γ ( U , O X ) {\displaystyle {}\Gamma (U,{\mathcal {O}}_{X})} -Untermodul von Γ ( U , M ) {\displaystyle {}\Gamma {\left(U,{\mathcal {M}}\right)}} ist, heißt O X {\displaystyle {}{\mathcal {O}}_{X}} -Untermodul von M {\displaystyle {}{\mathcal {M}}} .
ein
beringter Raum
und 
ein
-Modul.
Eine
Untergarbe
derart, dass 
für jede offene Teilmenge
ein
-Untermodul
von 
ist, heißt
-Untermodul
von .
