Category:Definitions/Strictly Progressing Mappings

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Strictly Progressing Mappings.
Related results can be found in Category: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.

Pages in category "Definitions/Strictly Progressing Mappings"

The following 3 pages are in this category, out of 3 total.