es una relación de orden no estricto sobre formula_1.