Countable dense total orders without endpoints
A total ordering $\lt$ on a set $S$ is called dense if for every two $x,y\in S$ with $x \lt y$, there exists a $z\in S$ such that $x\lt z\lt y$. A total ordering is said to be without endpoints if for every $x\in S$ there exists $y,z\in S$ such that $y \lt x\lt z$. […]