The outer regularity of some measures (Q1100301)

Suppose \(\phi\) is an outer measure in a topological space X, with \(\phi (X)=1\). Let \(\phi^*(A)=\inf \{\phi (G): A\subset G,\quad G\quad is\quad open\}.\) If \(\phi (A)=\phi^*(A)\), A is called outer regular. The author states that there is a set D which is maximal with respect to the property that all its measurable subsets are outer regular. A decomposition of X is given which involves D and a countable union of sets, each of which contains no outer regular subsets of positive measure. (Proofs are not included, but may be obtained from the author.)