\begin{definition}[Definition:Inflationary Mapping]
Let $\struct {S, \preceq}$ be an ordered set.
Let $\phi: S \to S$ be a mapping.
Then $\phi$ is '''inflationary''' {{iff}}:
:$\forall s \in S: s \preceq \map \phi s$
\end{definition}