Las condiciones necesarias y suficientes para que el par formula_1 sea un grupo son: