Another random thought because I can't sleep: Let Q* be the set of rationals in [0,1] and let D be the subset whose denominator is a power of 2.

There ought to be an order-preserving bijection between Q* and D, but can one be exhibited explicitly?

#orderTheory