Functional monotone-class theorem
= Functional monotone-class theorem
A vector space of bounded functions containing constants and indicators of a generating pi-system, and closed under uniformly bounded monotone pointwise limits, contains all bounded functions measurable for the generated sigma-algebra. This function version extends identities established on elementary integrands to every bounded measurable integrand.
// Target: probability-and-statistics.bigb