Beringter Raum/Modulgarbe/Einbettung/Injektive Garbe/Fakt

Es sei $(X, 𝒪_{X})$ ein beringter Raum und es sei $ℳ$ ein $𝒪_{X}$ -Modul.

Dann gibt es eine injektive Modulgarbe $ℐ$ auf $X$ mit $ℳ \subseteq ℐ$ .