Лексикографический порядок

Лексикографический порядок последовательностей предполагает, что последовательность <math>a\!\,</math> предшествует последовательности <math>b\!\,</math>, если для некоторого <math>s\!\,</math> их начальные отрезки длины <math>s\!\,</math> равны, а <math>(s+1)\!\,</math>-ый член последовательности <math>a\!\,</math> меньше.

Примеры лексикографического порядка:

• последовательность чисел в любой системе счисления, записанных в фиксированной разрядной сетке (000, 001, 002, 003, 004, 005, …, 999)
• порядок слов в словаре. Предполагается, что буквы можно сравнивать, сравнивая их номера в алфавите. Тогда лексикографический порядок — это к примеру ААА, ААБ, ААВ, ААГ, …, ЯЯЯ.