Total ordering
Redirect to:
Total order