The Lebesgue measure on R can be introduced by a few ways in this functional-analytic set-up. First, it is possibly to rely on an "elementary" integral such as the Daniell integral or the Riemann integral for integrals of continuous functions with compact support, as these are integrable for all the elementary definitions of integrals. The measure (in the sense defined above) defined by elementary integration is precisely the Lebesgue measure. Second, if one wants to avoid reliance on Riemann or Daniell integral or other similar theories, it is possible to develop first the general theory of Haar measures and define the Lebesgue measure as the Haar measure "λ" on R that satisfies the normalisation condition "λ"([0,1]) = 1.