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$

and $N$ forms a nest:
 * $\forall x, y \in N: x \subseteq y$ or $y \subseteq x$