En matemáticas, o más particularmente en Teoría del orden, el orden lexicográfico es una relación de orden definida sobre el producto cartesiano de conjuntos ordenados.