(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]$ |