Con las notaciones anteriores, la inclusión (formula_36) de formula_2 en formula_3 es compatible con las operación restringida y la operación en formula_3.