Definition:Strictly Progressing Mapping

Definition
Let $g$ be a class mapping.

Also see

 * Equivalence of Definitions of Strictly Progressing Mappings