Si f est Riemann- intégrable sur [a, b], alors f est Lebesgue-intégrable sur [a, b], et les deux intégrales sont égales. f(x) = { 1 si x ∈ Q, 0 sinon.
Cette fonction est nulle presque partout, donc elle est intégrable d'intégrale nulle au sens de Lebesgue.
Une fonction f : E → F est dite (ℰ, ℱ)-mesurable si la tribu image réciproque par f de la tribu ℱ est incluse dans ℰ, c'est-à-dire si : L'identité, la composée de deux fonctions mesurables, sont mesurables.
Les fonctions mesurables fournissent donc à la classe des espaces mesurables une structure de catégorie.
On dit que est intégrable au sens de Riemann ( ou Riemann intégrable sur ) si : s [ a , b ] ( f ) = S [ a , b ] ( f ) .
On note alors ce nombre ∫ a b f ( t ) d t intégrale définie de sur l'intervalle .