$X$ bir küme olsun. $X$'in sonlu altkumelerinden olusan kümeyi $ \delta^{≤\omega} ( \mathbb{N})$ ile gosterelim. Biliyoruz ki $X$ sayılabilir sonsuzluktaysa bu küme de sayılabilir sonsuzluktadır. Yani $X$ $\approx$ $\delta^{≤\omega} (\mathbb{N})$ olur. Aynı iliskinin $X$ herhangi bir sonsuz kümeyken de gecerli olduğunu gosterin.