Orden lexicográfico

El orden lexicográfico  es una relación de orden lineal sobre un conjunto de palabras sobre algún alfabeto ordenado . El orden lexicográfico obtuvo su nombre por analogía con la clasificación alfabética en un diccionario .

Definición

Una palabra precede a una palabra ( < ) si

Ejemplos