>>118
失礼しました(汗)

f:E→[-∞,+∞]がルベーグ加速関数は、
任意のa∈Rに対し、{x∈E|f(x)>a}∈mとなる。