Reelle Zahlen/Disjunkte Vereinigung von halboffenen Intervallen/Prämaß/Wohldefiniertheit/Fakt

Es sei der Mengen-Präring aller Teilmengen , die sich als eine endliche Vereinigung von halboffenen Intervallen schreiben lassen. Dann gelten folgende Aussagen.

  1. Die zu über eine Zerlegung in disjunkte halboffene Intervalle

    definierte Zahl

    ist wohldefiniert.

  2. Durch die Zuordnung wird ein Prämaß auf diesem Präring definiert.