f
Спасибо за дискуссию про lexicographic orders, вы были правы, а я – нет :) Сори, если кому-то показалось, что я плохо о них думаю, это не так.
Вот тут написано почему https://en.wikipedia.org/wiki/Total_order#Orders_on_the_Cartesian_product_of_totally_ordered_sets