ルベーグ測度
有界関数のリーマン可積分性はルベーグ測度を用いて以下のように特徴づけられる：