Sea (A_n) una sucesión anidada de conjuntos no vacíos.