（X,d）：距離空間
μ:（X,M）上の測度で、任意のA∈Mに対しμ（A）=μ（B）となるボレル集合Bが存在
μ（X）<∞
とする。このとき任意のA∈に対し
μ（A）=｛μ（U）:UはAを含む開集合｝となることはどうやって示せばいぃんでしょう？