	So all the constructible subsets of an infinite set "S" have ranks with (at most) the same cardinal κ as the rank of "S"; it follows that if δ is the initial ordinal for κ, then formula_30 serves as the "power set" of "S" within "L". Thus this "power set" formula_31. And this in turn means that the "power set" of "S" has cardinal at most ||δ||. Assuming "S" itself has cardinal κ, the "power set" must then have cardinal exactly κ. But this is precisely the generalized continuum hypothesis relativized to "L".