Dedekind Construction Of Real Numbers If we define Dedekind-real numbers as Dedekind cuts, i.e. $\sqrt 2 = \{\text{rationals less than }\sqrt2\} \cup \{\text{rationals more than } \sqrt2\}$, can we define addition and multiplication of these real numbers as follows: 
These real numbers $\mathbb R$ are a complete lattice in which the rational numbers are embedded. Take the open intervals of $\mathbb R$ and make them the basis for a topology on $\mathbb R$. 
Define $+(\mathbb R,\mathbb R)$ and $\times(\mathbb R,\mathbb R)$ as the unique continuous (in this topology) extension of the already known arithmetic functions $+(\mathbb Q,\mathbb Q)$ and $\times(\mathbb Q,\mathbb Q)$? 
 A: The idea of Dedikind cuts is that one can define $\mathbb{R}$ and its arithmetic operations and order in an elementary manner, directly in terms of $\mathbb{Q}$ and its the arithmetic operations and order. One doesn't need the concepts of analysis or topology to do this. Of course, after the real numbers and their operations are defined, one can go on to develop calculus and to prove that addition and multiplication are continuous operations, but it is not necessary to bring continuity or other concepts of analysis into the picture simply for the purpose of defining addition and multiplication of real numbers.
For example, given two Dedekind cuts $(A_1,B_1)$ and $(A_2,B_2)$ of $\mathbb{Q}$, their sum is then defined to be
$$(A_1,B_1) + (A_2,B_2) = (A_1+A_2,B_1+B_2)
$$
where the meaning of addition of subsets is simply
$$A_1 + A_2 = \{a_1 + a_2 \, \bigm| \, a_1 \in A_1 \, \text{and} \, a_2 \in A_2 \}
$$
Now there is a little work to be done, but it should be pretty elementary: one has to prove that $(A_1+A_2,B_1+B_2)$ is, indeed, a Dedikind cut.
