Hola
Quiero escribir una prueba que se base en el hecho de que:
Hay conjuntos de boreles %-%-% y %-%-% contenidos en %-%-% de tal manera que
%-%-% y %-%-%.
Tenga en cuenta que %-%-% son arbitrarios.
Estoy bastante seguro de que esto es cierto, pero estoy teniendo problemas para llegar a una construcción de tales conjuntos y me está llevando por la pared. ¿Alguien puede ayudar?