Characteristics of Minimally Inductive Class under Progressing Mapping/Sandwich Principle/Proof 2

Proof
By definition of minimally inductive class, $M$ is minimally closed under $g$ with respect to $\O$.

The result is then seen to be a direct application of Sandwich Principle for Minimally Closed Class.