The algebraic might be the mid-point, and hence, in some sense, in both. Note that I have included both endpoints of each division to avoid the problems that t

The algebraic might be the mid-point, and hence, in some sense, in both. Note that I have included both endpoints of each division to avoid the problems that the infinite intersection of half-open intervals can create. In fact I've recently thought that one could divide it into 5. Then you always discard the outer divisions, and choose one of the inner divisions that doesn't contain the algebraic you're avoiding. In this way the leftmost endpoints of the chosen intervals form a strictly increasing sequence that's bounded above, and the rightmost endpoints of the chosen intervals form a strictly decreasing bounded sequence. That helps you to see that you really want these things to have limits. Does that help? If you ask more questions I can improve the article. Thanks.