Es sei ( X , O X ) {\displaystyle {}(X,{\mathcal {O}}_{X})} ein beringter Raum und es sei M {\displaystyle {}{\mathcal {M}}} ein O X {\displaystyle {}{\mathcal {O}}_{X}} -Modul.
Dann gibt es eine injektive Modulgarbe I {\displaystyle {}{\mathcal {I}}} auf X {\displaystyle {}X} mit M ⊆ I {\displaystyle {}{\mathcal {M}}\subseteq {\mathcal {I}}} .
