Continuity from above of a measure

ID: continuity-from-above-of-a-measure

If and , then . Apply continuity from below of a measure to the increasing differences .

New to topics? Read the docs here!