Se dice que formula_58 es un buen orden en formula_1 si cualquiera que sea el formula_96, formula_108, se tiene que formula_103 es un orden en formula_2 con elemento mínimo.