Beringter Raum/Modul/Injektiv/Welk/Fakt

Es sei ein beringter Raum und ein injektiver -Modul.

Dann ist welk.