Lebesgue integration is the general theory of integration of a function with respect to a general measure.
This implementation defines an Lebesgue integral as a dot product between the integrand f and the measure dμ.
\[
\int_E f \, d \mu = \int_E f(x) \, \mu(dx) \approx \sum_E f(x)\mu(dx)
\]