Лексикографический порядок
Лексикографи́ческий поря́док, порядок на прямом произведениичастично упорядоченных множеств , где множество индексов вполне упорядочено, определяемый следующим образом: если , то тогда и только тогда, когда либо для всех , либо существует такое , что и для всех . Множество , упорядоченное лексикографическим порядком, называется лексикографическим, или ординальным, произведением множеств . Если все множества совпадают между собой ( для всех ), то их лексикографическое произведение называется ординальной степенью множества и обозначается . Говорят также, что упорядочено по принципу первого различия (как слова упорядочены в словаре). Таким образом, если – натуральный ряд, тоозначает, что для некоторого Лексикографический порядок является частным случаем упорядоченного произведения частично упорядоченных множеств (см. Л. А. Cкорняков. 1970). Лексикографический порядок может быть определён аналогично и для любого частично упорядоченного множества индексов (см. Биркгофф. 1952), однако в этом случае отношение на множестве не обязано быть порядком в обычном смысле.
Лексикографическое произведение конечного числа вполне упорядоченных множеств вполне упорядочено. Лексикографическое произведение цепей есть цепь.
Для конечного лексикографический порядок рассматривался фактически ещё Г. Кантором (Cantor. 1895) при определении произведения порядковых типов линейно упорядоченных множеств.
Лексикографический порядок широко используется вне математики, например при упорядочении слов в словарях, справочниках и т. п.