Procedure:
0. We begin the procedure given the interval [r1, r2] where r1 < r2 and r1, r2 are real numbers and the list
L = (r1, r2).
1. If there are intervals that can be sub-divided next step else stop..
2. Sub-divide each interval [ri, rj] by selecting a number rk such that ri < rk < rj to get a conjoined interval pair [ri, [rk,] rj]
3. Insert the relative bound number, rk, into the list L to get L = (ri, rk, rj).
4. Form new sub-intervals [ri, rk], [rk, rj].
5. Return to step 1.