Description
this programme shows how the construction of the Lebesgue integral on Rk can be generalised to integrals on arbitrary sets X: the Daniell integral.