In Riemann integration, one defines both lower and upper sums L(f,P),U(f,P),L(f,P), U(f,P), and declares a bounded function f:[a,b]Rf:[a,b]\to\mathbb{R} to be integrable if supPL(f,P)=infPU(f,P).\sup_P L(f,P)=\inf_P U(f,P). On the ...