A countable, dense linear ordering without first or last element is isomorphic to $\mathbb Q$.
I once heard someone use the acronym DLOWFOLE. That reduces the number of hypotheses but I think it's sort of cheating.
Timothy Chow
- 82.7k
- 26
- 363
- 587