Totally Ordered

see TotalOrder