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