Una relación de orden formula_58 en formula_1 es un orden total en formula_1 si se cumple que cuando formula_78 entonces o bien es formula_63 o bien es formula_66.