What's the meaning of "comp induces a strict total ordering on the equivalence classes determined by equiv"?

Asked Apr 23 '17 at 13:22

Active Apr 23 '17 at 13:22

Viewed 31 times

I read this page and find a note said: comp induces a strict total ordering on the equivalence classes determined by equiv, which comp is user-provided binaryPredicate and equiv is an expression equivalent to !comp(a, b) && !comp(b, a).

My question is, comp and equiv have established strict weak ordering, so why they can induce a strict total ordering?

asked Apr 23 '17 at 13:22

Lw Cui

What's the meaning of "comp induces a strict total ordering on the equivalence classes determined by equiv"?

0 Answers0