Borel set
以下、"m" はハウスドルフ空間 "X" 上のボレル集合の成す完全加法族上の測度とする。