Es sei (X,OX){\displaystyle {}(X,{\mathcal {O}}_{X})} ein beringter Raum und I{\displaystyle {}{\mathcal {I}}} ein injektiver OX{\displaystyle {}{\mathcal {O}}_{X}}-Modul.
Dann ist I{\displaystyle {}{\mathcal {I}}} welk.