Category:Inflationary Mappings

From ProofWiki
Jump to navigation Jump to search

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

Let $\struct {S, \preceq}$ be an ordered set.

Let $\phi: S \to S$ be a mapping.

Then $\phi$ is inflationary if and only if:

$\forall s \in S: s \preceq \map \phi s$

Also known as

An inflationary mapping is also known as a progressive mapping or progressing mapping.

Some sources use progressing function.