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