sean formula_1 y formula_2 dos conjuntos parcialmente ordenados por las relaciones formula_3 y formula_4, respectivamente, entonces un orden lexicográfico es una relación de orden parcial formula_5 definida como sigue: