Minimally Closed Class under Progressing Mapping

Theorem
Then the following results hold: