3 ms·
The set of tuples over a totally ordered set has a fairly natural total order as long as you accept the concept of precedence.
by oefrha 7y ago
The set of tuples over a totally ordered set has a fairly natural total order as long as you accept the concept of precedence.
- throwaway_pdp09 7y agoSo evaluate (1, 2) > (2, 1) = ??? and tell me what ??? is, and why. I claim '>' is natural for 1 apple vs 2 apples, it is not natural for tuples unless you, as you say, suppose that the first in the tuple is more 'important' than the second WRT comparing. I mean I can accept that as a handy add-on, but it's not intrinsic - that's why lattices have 'incomparable', for just such a case.