continuous function
sequence of ordinals such that the values assumed at limit stages are the limits (limit suprema and limit infima) of all values at previous stages
sequence of ordinals such that the values assumed at limit stages are the limits (limit suprema and limit infima) of all values at previous stages