Borel set
空間 "X" 上のラドン測度 "m" が与えられたとき、ボレル集合上の別の測度 "M" が