>>445
可算個は可算無限個を含むと思うから、だとすると成立しない
のではないか? a=0, b=1 として区間[0,1]で次の関数を
定義する。
f(x)= 0(xが有理数の場合), 1 (それ以外の場合)
これを区分求積の形で積分すればゼロ、ルベーグの意味で積分
すれば 1.