Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element/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 Bounded Subset of Minimally Closed Class under Progressing Mapping has Greatest Element.