Question: why does regular order onnotwork?

One option that does work is the following. Let us define as a set of triples and as a function . Since 3, 7, and 11 are pairwise relatively prime, is a bijection. Thus, any well-order on gives rise to a well-order on .

Now, one can take the lexicographical order on (see the remark about well-orders in the link).