=+2.22. Extend (2.27) to infinite ordinals a by defining . = (U 3 < a 3) *. Show that, if 2 is the first uncountable ordinal, then U. < na =o(A). Show that, if the cardinality of & does not exceed that of the continuum, then the same is true of a(). Thus S has the power of the continuum.