Lebesgue integration
の形に書くのが普通）は、ルベーグ積分論における定理として成立する。