Dense linear order without endpoints (source code)

= Dense linear order without endpoints
{wiki}

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.

= DLO
{c}
{synonym}