Eine Garbe M {\displaystyle {}{\mathcal {M}}} auf einem beringten Raum ( X , O X ) {\displaystyle {}(X,{\mathcal {O}}_{X})} heißt O X {\displaystyle {}{\mathcal {O}}_{X}} -Modul, wenn es für jede offene Menge U ⊆ X {\displaystyle {}U\subseteq X} auf Γ ( U , M ) {\displaystyle {}\Gamma {\left(U,{\mathcal {M}}\right)}} eine Γ ( U , O X ) {\displaystyle {}\Gamma {\left(U,{\mathcal {O}}_{X}\right)}} -Modulstruktur gegeben ist, die mit den Restriktionsabbildungen zu U ⊆ V {\displaystyle {}U\subseteq V} verträglich ist.
