ボレル集合
実直線のボレル集合系に関する測度 がルベーグ測度に対して絶対連続であることは、関数