| (i) | \begin{equation} a < b \end{equation} |
| (ii) | $P = ((x_0, x_1, \ldots, x_N), (x^*_1, \ldots, x^*_N))$ is a D5520: Closed real interval tagged partition for $[a, b]$ |
| (iii) | $f : [a, b] \to \mathbb{R}$ is a D4364: Real function on $[a, b]$ |
| (i) | \begin{equation} a < b \end{equation} |
| (ii) | $P = ((x_0, x_1, \ldots, x_N), (x^*_1, \ldots, x^*_N))$ is a D5520: Closed real interval tagged partition for $[a, b]$ |
| (iii) | $f : [a, b] \to \mathbb{R}$ is a D4364: Real function on $[a, b]$ |
| ▶ | D1760: Riemann integrable real function |