Así, definimos la intersección de la familia de conjuntos formula_1 como formula_58.