Sean formula_1 y formula_2 los conjuntos formula_3 y formula_4 ordenados, respectivamente, mediante las relaciones de orden formula_5 y formula_6, entonces el orden vectorial formula_7 se define en formula_8 como: