Es sei I = [ a , b ] {\displaystyle {}I=[a,b]} ein kompaktes Intervall und sei
eine Funktion.
Dann ist f {\displaystyle {}f} genau dann Riemann-integrierbar, wenn es eine Unterteilung a = a 0 < a 1 < ⋯ < a n = b {\displaystyle {}a=a_{0}<a_{1}<\cdots <a_{n}=b} derart gibt, dass die einzelnen Einschränkungen f i := f | [ a i − 1 , a i ] {\displaystyle {}f_{i}:=f|_{[a_{i-1},a_{i}]}} Riemann-integrierbar sind.
In dieser Situation gilt