Carathéodory Theorem

Construction of Outer Measure from Pre-measure

Hopf's Extension Theorem

Lebesgue Outer Measure