Interval/Real function/Compact subintervals/Riemann integrable/Definition