>>806
自分が勉強した時どういう定義だったか忘れてるけど
値域が有限集合
でよいのじゃないかな
でも使うのは可測な単関数だから
最初から可測性入れても問題はなしてことで