Suppose I have decided to construct the Riemann Integral along the lines of tagged partitions and Riemann sums, and not along the lines of using the Darboux Integral (and then showing its equivalence).
In a standard construction of the Riemann Integral along the lines of "tagged partitions," it seems to me that we often make more definitions than are really necessary. Usually, we define partitions (and mesh norm), then we define tagged partitions, then we define Riemann sums with respect to a tagged partition, and finally, we define Riemann Integrability and the integral itself.
Is there a pedagogy reason for having to make all these definitions? Why not proceed as follows:
Definition 1: Let $a,b\in\mathbb{R}$ with $a<b$. Then, a finite sequence of nonempty closed intervals, $([x_{j-1},x_j])_{j=1}^{n}$, which satisfies the condition that $[a,b]=\bigcup_{j=1}^{n}[x_{j-1},x_{j}]$, is said to be a subdivision of $[a,b]$.
Definition 2 A function, $f(x):[a,b]\rightarrow\mathbb{R}$, which satisfies the condition that:
- $\exists$ $L\in\mathbb{R}$ with the property that $\forall$ $\epsilon>0$, $\exists$ $\delta_{\epsilon}>0$ such that $\forall$ $([x_{j-1},x_j])_{j=1}^{n}$ with $\max\{(x_{j}-x_{j-1})\in\mathbb{R} \mid j=1,\ldots,n\}<\delta_{\epsilon}$, we have that $\forall$ $(t_{j})_{j=1}^{n}$ with $t_{j}\in[x_{j-1},x_{j}]$ for each $j=1,\ldots,n$, the statement $|\sum_{j=1}^{n}f(t_{j})(x_{j}-x_{j-1}) - L|<\epsilon$ holds.
is said to be Riemann Integrable on $[a,b]$ with Riemann Integral $\displaystyle{ \int_{a}^{b}f(x)dx}:=L$.
I would say that the reason behind all these definitions (partions, tagged partitions, etc.) is that anyone who wants to understand Definition 2, has to unpack it anyway. The question then becomes, how do you structure this process.
The classical approach is to do the structuring upfront. You introduce the bitesize pieces and then show step-by-step, how they fit together. Thus one defines partitions, then tagged partitions, and so on. After the student has gained some familiarity with them they are packaged together in the definition of the Riemann integral.
The other approach is to through the definition at students upfront and then guide them in understanding it. If you do this at the same level of detail, you will end up with the same explanations (this part of the definition describes the partition, etc.)
In my experience students react better to concepts being presented in small chunks rather than the unpack-this-complicated-definition-on-your-own method. A very good student might be able to understand Definition 2 directly, in that case you are right, all these other definitions can be dispensed with, but most will need the step-by-step approach.