Пусть в списке букв конечного алфавита А порядок букв зафиксирован, т. е. всегда один и тот же, как, например, в русском и латинском алфавите. Тогда этот список определяет полное упорядочение букв, которое назовем отношением предшествования и обозначим “ ”: , если предшествует в списке букв).
На основе отношения предшествования букв, строится отношение предшествования слов, определяемое следующим образом:
Пусть даны слова и .
Тогда, тогда и только тогда, когда
1) , где ( - слова возможно непустые, - буквы);
2) , где - непустое слово.
Это отношение задает полное упорядочение множества всех конечных слов в алфавите А, которое является лексикографическим упорядочением слов.