Caratheodory extension theorem
ID: caratheodory-extension-theorem
A premeasure on an algebra of sets extends to a measure on the generated sigma-algebra. The extension is unique when the premeasure is sigma-finite.
New to topics? Read the docs here!