Dense Order

A Strict Preorder $(X,<)$ is dense if for every $x<y$, there merely exists a $z$ with $x<z<y$. In other words, $<$ is a Dense Relation.

The canonical example of a dense order is the canonical strict ordering on the Rational Numbers.