# Category:Strictly Progressing Mappings

Jump to navigation
Jump to search

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**.

## Pages in category "Strictly Progressing Mappings"

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