Compact interval/Riemann integrable/Definite integral/Definition

Definite integral

Let denote a compact interval. For a Riemann-integrable function

we call the upper integral of (which by definition coincides with the lower integral) the definite integral of over . It is denoted by