Totally-ordered set

Redirect to:

• Total order