What is integral?

For measurable $f \geq 0$:

It is monotone in $f$ by construction, and extends the simple case (for simple $f$, the sup is attained at $f$: comparison of simple integrals via common refinements).