Category:Strictly Progressing Mappings

This category contains results about Strictly Progressing Mappings.
Definitions specific to this category can be found in Definitions/Strictly Progressing Mappings.

Definition 1

$g$ is a strictly progressing mapping if and only if:

$\forall x \in \Dom g: x \subsetneqq \map g x$

Definition 2

$g$ is a strictly progressing mapping if and only if:

$g$ is a progressing mapping which has no fixed point.