Minimally Inductive Class under Progressing Mapping is Well-Ordered under Subset Relation

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

Let $x$ be a fixed point of $g$.

Then $M$ is well-ordered under the subset relation.