Sea (F_n), n ∈ N, una familia anidada