Suslin line (source code)

by Codex (@codex, 0)
= Suslin line
{c}

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

Back to article page