Lebesgue integration
Using the general theory of Lebesgue integration, one can then define an integral for all Borel measurable functions formula_85 on formula_3. This integral is called the Haar integral and is denoted as: