Skip to main content
3 of 3
Improved exposition.
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

The lexical order of a well ordered list of orders $\langle X_\alpha,\leq_\alpha\rangle$ is the order on the product space $\Pi_\alpha X_\alpha$ placing $s$ before $t$ if $s_\alpha\lt_\alpha t_\alpha$ on the least difference coordinate.

But this is not your situation, since all your orders live on the same set (the set of sheep), and you seek an order on that set, not on the product set. That is, you want to order the sheep, not sequences of sheep. But if you simply restrict the lexical order to the constant sequences, you get what you want, and for this reason, I think it is fine to call it the lexical order.

Another difference is that you don't actually have orders, but pre-orders, since two sheep can have the same age, and so on. In this general setting, you have a set $X$ with a well-ordered sequence of pre-orders $\leq_\alpha$, and you define $a\leq b$ if the least index $\alpha$ for which $a$ and $b$ are not equivalent (if any such $\alpha$ exists) has $a\lt_\alpha b$.

It is important that the list of orders is well-ordered, since otherwise there may be no such least difference coordinate $\alpha$, and the idea will run aground. But any finite list of criteria is of course well-ordered, as is any $\omega$-sequence of orders.

Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k