X bir küme olsun. X'in sonlu altkumelerinden olusan kümeyi δ≤ω(N) ile gosterelim. Biliyoruz ki X sayılabilir sonsuzluktaysa bu küme de sayılabilir sonsuzluktadır. Yani X ≈ δ≤ω(N) olur. Aynı iliskinin X herhangi bir sonsuz kümeyken de gecerli olduğunu gosterin.