Re: table.sort gives wrong result on partially ordered set

[Roberto Ierusalimschy <roberto@...>]

> "strict weak order" is the correct minimum requirement - a total order
> is not necessary. (A strict weak order can be considered as a total
> order over classes of equivalent elements; if you're sorting data where
> distinguishable values can sort equally, e.g. objects sorted by some
> property value, this distinction matters.)
> 
> The documentation is incorrect to state that a strict partial order is
> sufficient. (I believe I may have pointed this out before.)

Thanks for the explanation. (I don't think you did.)

-- Roberto