Double Superinduction Principle

Theorem
Let $M$ be a class.

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

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

Let $\RR$ be a relation on $M$ which satisfies:

Then $\map \RR {x, y}$ holds for all $x, y \in M$.

Also known as
The Double Superinduction Principle can also be referred to as the Principle of Double Superinduction.

Some authors refer to this principle by its initials: D.S.P.

Also see

 * Double Induction Principle