I am trying to wrap my head around Dedekind cuts and the construction of the Real numbers from Rational numbers. From my understanding, let us assume a set βQ\beta \subseteq \mathbb{Q} (following all ...