Minimally Inductive Class under Progressing Mapping is Well-Ordered under Inclusion/Proof 2

Proof
A minimally inductive class under $g$ is the same thing as a minimally closed class under $g$ with respect to $\O$.

The result then follows by a direct application of Minimally Closed Class under Progressing Mapping is Well-Ordered.