“…Since from the assumption, ( , ℵ) is a cyclically complete pair in U, either µ n or ω m converges. Assume that the sequence µ n converges in , so there exists µ ∈ such that Finally, it follows from Equations ( 4), (16), and (17) that ρ(µ, ω) = lim n,s→∞ ρ(µ n , ω m s ) = ρ( , ℵ).…”