En símbolos, formula_2 es un refinamiento de formula_3 cuando formula_4.