Linearly ordered set

Redirect to:

• Total order