Por ejemplo, sea formula_3 y los conjuntos formula_4.