Borel measure
カラテオドリの拡張定理により、["a", "b"] 上のボレル測度 μ"g" で任意の区間 "I" 上で "w" に一致するものがただ一つ存在する。この測度は外測度（実は計量外測度）から