El conjunto anterior es en efecto una intersección de los conjuntos de una colección, a saber