donde formula_16 es cualquier grupo que contenga al conjunto formula_12.