Orden lexicográfico
De Wikipedia, la enciclopedia libre
El orden lexicográfico es el que se utiliza para ordenar caracteres. Normalmente se diferencia entre letras mayúsculas y minúsculas, y además se consideran los números y los signos de puntuación. En los diccionarios se utiliza orden lexicográfico, pero en ellos no se hace diferencia entre mayúsculas y minúsculas.
Consideremos dos secuencias de caracteres a = [a1a2...an] y b = [b1b2...bm]. Decimos que a < b si ambas secuencias tienen un prefijo común de largo i, y el primer carácter diferente es ai+1 < bi+1 (merced < mercurio, porque e < u). El prefijo puede ser de largo 0 (perro < zorro, porque p < z). Si una secuencia es prefijo de la otra, decimos que la más corta es la menor (señor < señora).
El orden lexicográfico no es igual al orden numérico
Si a = [19] y b = [138] tenemos que b < a, porque el prefijo es a1 = b1 = 1 y b2 = 3 < a2 = 9.