Suslin hypothesis (source code)

= Suslin hypothesis
{c}

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.