Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element

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

Then every non-empty bounded subset of $M$ has a greatest element.