# Total order

[https://en.wikipedia.org/wiki/Total\_order](https://en.wikipedia.org/wiki/Total_order)
