Carathéodory's extension theorem (source code)

= Carathéodory's extension theorem
{c}
{wiki}

= Caratheodory extension theorem
{c}
{synonym}

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 measure>[sigma-finite].