Lebesgue integration
ルベーグ積分は以下の性質を持っている。