The image of class formula_19 under the function formula_228 is formula_232 This definition does not require that formula_233 The union of class formula_19 is formula_235 The power class of formula_19 is formula_237 The extended version of the class existence theorem implies the existence of these classes.