On Wed, Mar 4, 2020 at 6:04 PM Steve Jorgensen stevej@stevej.name wrote:

Greg Ewing wrote:

On 4/03/20 7:42 am, Steve Jorgensen wrote:

That's a much better term. Orderable and ProtoOrderable. I would suggest "TotallyOrdered" and "PartiallyOrdered".

Possibly, but the reasoning is not obvious to me. Can you explain? I get that `TotallyOrdered` is consistent with https://docs.python.org/2/library/functools.html#functools.total_ordering, but I don't get the `PartialyOrdered` term.

It's a mathematical concept:

https://en.wikipedia.org/wiki/Partially_ordered_set

"Partially ordered" means you can compare pairs of elements and find which one comes first. "Totally ordered" means you can compare ANY pair of elements, and you'll always know which comes first.

ChrisA