Se dice que se ha definido un "orden total" en el conjunto A, si la relación formula_119 cumple las propiedades: