Measure theory (source code)

= Measure theory
{wiki}

Measure theory supplies a rigorous language for size and integration on general spaces.