Kurs:Analysis (Osnabrück 2014-2016)/Maß/Eindeutigkeitssatz/Durchschnittsstabiles Erzeugendensystem und Ausschöpfung/Fakt/Faktreferenznummer