Progressing Function Lemma/Linguistic Note

Linguistic Note on Progressing Function Lemma

The name progressing function lemma comes from Set Theory and the Continuum Problem, revised ed. by Raymond M. Smullyan and Melvin Fitting, where they refer to an inflationary mapping as a progressing function.

Hence it is reasonable to assume that this result could also be called:

inflationary mapping lemma

progressive mapping lemma

progressing mapping lemma

and so on, with function replacing mapping as desired.

However, the author of this page has seen no evidence of this result anywhere but in that particular work, with any sort of name assigned to it.