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