Definition:G-Tower

Definition
Let $M$ be a class.

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

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

Then $M$ is called a $g$-tower.

Also see

 * Definition:Tower in Set