Carathéodory extension theorem

Pre-measure on ring extends uniquely to measure on generated σ-algebra (σ-finite case). Construction of Lebesgue, product measures.