Para cualquier subconjunto "B" de formula_1, se puede definir