Изменения

== Определение ==

Пусть дано линейно упорядоченное множество <tex>~A=\{a_1<a_2<a_3<...<a_k\}</tex> - алфавит, <tex>A^*</tex> назовем множество подпоследовательностей конечной длины из алфавита <tex> A </tex>, <tex>A^*=\bigcup^{\infty}_{i=0} A^i</tex>, тогда лексикографическим порядком на множестве <tex>~A^*</tex> назовем такой порядок, при котором любые два элемента из множества <tex>A^*</tex> удовлетворяют условиям:

== Примеры ==

# Последовательность чисел в любой системе счисления, записанных в фиксированной разрядной сетке (000, 001, 002, 003, 004, 005, …, 999).