Fixed Point of Progressing Mapping on Minimally Inductive Class is Greatest Element/Proof 1

Proof
Let $x$ be an element of $M$ such that $\map g x = x$.

From Empty Set is Subset of All Sets, we have that:
 * $\O \subseteq x$

Suppose that $y \subseteq x$.

Then by Characteristics of Minimally Inductive Class under Progressing Mapping:
 * $\map g y \subseteq \map g x$

But we have that $\map g x = x$.

Thus:
 * $\map g y \subseteq x$

That is:
 * $\O \subseteq x$

and:
 * $y \subseteq x \implies \map g y \subseteq x$

and the result follows by the Principle of General Induction.