por lo que la restricción de formula_3 a formula_333 es una función que resulta de 'recortar' el dominio de formula_3.