Minimally Closed Class under Progressing Mapping induces Nest

Theorem
For all $x, y \in N$, either $\map g x \subseteq y$ or $y \subseteq x$.