Every Countable Total Ordering Order Embeds into the Rationals

Last updated Nov 1, 2022

TODO - See StackExchange Question

• Total Ordering
• Rational Numbers
• Countable
• Order Embedding