ルベーグ測度
Probability theory using Lebesgue measure.