Fixed Point of Progressing Mapping on Minimally Inductive Class is 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 Fixed Point of Progressing Mapping on Minimally Closed Class is Greatest Element.