Dense linear order without endpoints (source code)

= Dense linear order without endpoints
{wiki}

= DLO
{c}
{synonym}

= Dense linear orders without endpoints
{synonym}

A dense linear order without endpoints is a linear order in which a third point lies strictly between every two distinct points and every point has points both below and above it.