Para los valores a, b de formula_1, que cumplen que a antecede a b, o que b antecede a a, se dice que a y b son "comparables".