Compact interval/Real function/Riemann integrable via step functions/Definition

Riemann integrable function (compact interval)

Let denote a compact interval and let

denote a function. Then is called Riemann-integrable if the upper integral and the lower integral of exist and coincide.