Kurs:Mathematik (Osnabrück 2009-2011)/Maß/Eindeutigkeitssatz/Durchschnittsstabiles Erzeugendensystem und Ausschöpfung/Fakt/Faktreferenznummer