Strict total order

Summary