Suslin line

A complete dense linear order without endpoints with the countable chain condition for a linear order, but with no countable order-dense subset.

The assertion that there is no Suslin line, equivalently that every complete dense linear order without endpoints satisfying the interval countable chain condition is separable. A Suslin tree gives a counterexample.