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