Lebesgue measure
formula_8 とし、"μ" をルベーグ測度とし、"f" を値がゼロであるような定数関数とする。