The addition of two dedekind cuts is defined to be
Now let and be rational cuts. I am asked as to why it is not defined as
and am told that in some degenerate cases that
I cannot come up with any case in which the union fails to be all of the rational numbers. In fact, since both cuts are rational cuts it seems to me that
for some
And of course this means that we have and clearly every rational number is in one of these two sets
Any help is much appreciated