Según la propiedad transitiva, esta condición es equivalente a "a ≤ a" para cualesquiera "1 ≤ i ≤ j ≤ n".