>>902
Mはσ集合体って条件はないの?
ほとんど可測関数の定義だと思う