Minimally Closed Class under Progressing Mapping

Theorem
Statement of Conditions:

Then the following results hold: