Ah! You are using Dedekind Cuts to define a real number.

Walter Rudin’s book,Principles of Mathematical Analysis, is perhaps the best reference on the construction of the reals using Dedekind Cuts. You can find that text in any mathematics library. You need to understand how addition and multiplication are defined using Dedekind Cuts.