Minimally Inductive Class under Progressing Mapping induces Nest

Theorem
Let $M$ be a class which is minimally inductive under a progressing mapping $g$.

Then $M$ is a nest in which:
 * $\forall x, y \in M: \map g x \subseteq y \lor y \subseteq x$