Characteristics of Minimally Inductive Class under Progressing Mapping

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

Then for all $x, y \in M$: