Lebesgue integration
を満たすことであり、この積分は抽象的なルベーグ積分である。