Para los conjuntos formula_1 se pide