Actually, I get it even more . . . You can define a cut C as {x in Q:f(x)<a} where x is some function of rational numbers (x,+,/,-,^). C' is {x in Q:f(x)>=a}. In rational cuts, like {x:x<3} the cut point can be set either way, here on the right half, and either half can define the cut. In...