Double Induction Principle/General

Theorem
Let $M$ be a class.

Let $g: M \to M$ be a mapping on $M$.

Let $M$ be a minimally inductive class under $g$.

Let $\RR$ be a relation which satisfies the following conditions:

Then:
 * $\forall x, y \in M: \map \RR {x, y}$