Category:Sandwich Principle for Slowly Progressing Mapping

This category contains pages concerning Sandwich Principle for Slowly Progressing Mapping:

Let $M$ be a class.

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

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

Then $x \subsetneqq y \subsetneqq \map g x$ can never hold.