Con esto lo que estamos haciendo es denominar por formula_9 al conjunto formula_16.