The Abstract Lebesgue Integral
The general Lebesgue integral requires a measure space,
and, to begin with, a nonnegative
measurable function. I will use Lemma
about interchanging two supremums frequently. Also, I will
use the observation that if
is an increasing sequence of points of
which is obvious from the definition of sup.