 Radon measure

A Radon measure is a Borel measure that is finite on compact sets and is inner regular, so the measure of a Borel set can be approximated from below by compact subsets. On a locally compact Hausdorff space one also usually includes outer regularity.