User:Keith.U/Sandbox/SubSandbox 2

Definition: Definite Integral
Let $\left[{a \,.\,.\, b}\right]$ be a closed real interval.

Let $f: \left[{a \,.\,.\, b}\right] \to \R$ be a real function.