Progressing Function Lemma/Linguistic Note

Linguistic Note on Progressing Function Lemma
The name progressing function lemma comes from by  and, 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.