Decimos que esa operación en formula_2 es la restricción de (la operación global) formula_5 a formula_2.