Definition:Inflationary Mapping

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

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

Then $\phi$ is inflationary :


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