Dense order

Summary

An order is dense when between any two elements with $x < y$ there is a third element $z$ with $x < z < y$. The rational numbers and the real numbers are dense, while the integers are not. By Cantor's isomorphism theorem, every countable dense total order without endpoints, and with at least one element, looks exactly like the rationals.