Linearly ordered set
Redirect to:
Total order