Show that there is an injective order-preserving map from to the set of finite strings with the lexicographical order.
The lexicographical order is defined as follows: holds if and only if any of the two following conditions hold.
- The string is a proper prefix of , i.e. for some nonempty string .
- The strings are of the forms and , for arbitrary strings .
For instance, .