Inner regular measure

Summary

A measure on a topological space is inner regular when each measurable set is approximated from inside by compact subsets. The approximation is in measure. Inner regularity lets one reduce questions about general sets to questions about compact sets, where topology gives control. It is one of the two halves of the definition of a Radon measure. Some authors use closed sets instead of compact sets in the definition.