La restricción de formula_163 a formula_223 simbolizada como formula_224, es la función definida como formula_225 i.e.