Sea (A_n), n ∈ N, una sucesión anidada de subconjuntos no vacíos