Lemma 8.4
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 8 Messbare Funktionen/Abzählbare Indexmenge/Supremum und Infimum/Fakt