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".